// JavaScript Document
function setStyle(objId, style, value){
	 document.getElementById(objId).style[style]= value;
}
/* USAGE:
 * objId    = element id.
 * style    = the style to be changed.
 * value    = the value assigned to the style.
*/ 
function popup(url,name,windowWidth,windowHeight){
	//alert(url);
	myleft=(screen.width)?(screen.width-windowWidth)/2:100;
	mytop=(screen.height)?(screen.height-windowHeight)/2:100;
	properties = "width="+windowWidth+",height="+windowHeight+",scrollbars=no, top="+mytop+",left="+myleft;
	//alert("top: "+mytop);
	//alert("window.open("+url+","+name+","+properties+");");
	//window.open(url,name,properties);
	theWindow = window.open(url,null,"height="+windowHeight+",width="+windowWidth+",top="+mytop+",left="+myleft+",,status=no,toolbar=no,menubar=no,location=no");
	theWindow.focus();
}