var getById = (typeof document.getElementById != "undefined");
function toggleDisplay(obj,display1,display2){if(!getById) return;
obj = getRef(obj);		if(obj.style.display == display2)obj.style.display = display1;
else obj.style.display = display2;
repaintFix();}
function getRef(obj){if(getById)
return(typeof obj == "string") ? document.getElementById(obj) : obj;}function repaintFix(obj){
if("undefined" == typeof document.body  || "undefined" == typeof document.body.style) return;
if(obj == null) obj == document.body;
else obj = getRef(obj);	
document.body.style.visibility = "hidden";
document.body.style.visibility = "visible";}