var clientInfo=new Object();clientInfo.w3c=(document.getElementById)?true:false;clientInfo.ns4=(document.layers)?true:false;clientInfo.ie=(document.all)?true:false;var ci=clientInfo;function jsImg_ChangeBorder(a,b){if(ci.w3c){document.getElementById(a).style.border=b}return}function jsImg_ChangeSource(a){if(a){document.target_img.src=a}}