function checkWidth(){
if (navigator.appName.substr(0,4)=="Micr" && document.body.offsetWidth>=951) document.getElementById('thisDoc').style.width="950px";
}

var aWindow;
function smallWin(fileName,w,h,x,y){
if (!aWindow || aWindow.closed) {
aWindow=window.open(fileName, "aWindow", "width="+w+",height="+h+",scrollbars");
aWindow.moveTo(x,y);
}
else {aWindow.focus();} //Restore focus, if window is already open in background
}