function showpopup(filename) {
	theWindow = window.open("/popup.php?item="+filename,"Info","directories=no,menubar=no,scrollbars=yes,status=no,toolbar=no,resizable=yes,width=580,height=250");
	if (window.focus) {theWindow.focus();}
}
function CloseMessage(myid) {
	var theelem;
	if (theelem=document.getElementById(myid)) theelem.style.display='none';
}
function HoverExtraHeight(myobj) {
	var a=document.getElementById(myobj.id+'_outer');
	myobj.style.height=a.clientHeight;
}