function MM_changeProp(objId,x,theProp,theValue) {
	var obj = null; with (document){ if (getElementById)
	obj = getElementById(objId); }
	if (obj){
	if (theValue == true || theValue == false)
		eval("obj.style."+theProp+"="+theValue);
	else eval("obj.style."+theProp+"='"+theValue+"'");
	}
}