// JavaScript Documentfunction full_resize() {window.moveTo(0,0);		var winH;	var winW;	var wComp;	var hComp;	if (navigator.appName == 'Microsoft Internet Explorer' && (navigator.platform.substring(0,3) == 'Win')) {		wComp=0;		hComp=0;	}	else if (navigator.appName == 'Netscape' && navigator.platform.substring(0,3) == 'Win') {		wComp=12;		//hComp=59; extra px ??? works.		hComp=159;	}	else if (navigator.platform == 'MacPPC' && navigator.appName == 'Netscape'){		//wComp=13;		wComp=27;		// extra 18 px for net on mac (don't know why?? but works)		//hComp=49;		hComp=169;	}	else {		wComp=13;		hComp=31;			}	winW=screen.width-wComp;	winH=screen.height-hComp;	window.resizeTo(winW,winH);}
