/* to deal with browser incompatibilities */
	function getElementById_s(id){
		var obj = null;
		if (isIE()){
			obj = document.getElementById(id);
		}
		else if (isFireFox()){
			obj = document.getElementById(id);
		}
		return obj;
	}
	
	function isIE(){
		var browser=navigator.appName;
		if (browser=="Microsoft Internet Explorer")
			return true;
		else
			return false;
	}

	function isFireFox(){
		var browser=navigator.appName;
		if (browser=="Netscape")
			return true;
		else
			return false;
	}

	<!-- Begin
	function PrintPage(text){
		text=document
		print(text)
	}
	//  End -->