window.onload=themenu;
function themenu(id) {
var d = document.getElementById(id);
	for (var i = 1; i<=10; i++) {
		if (document.getElementById('smenu'+i)) {document.getElementById('smenu'+i).style.display='none';}
	}
if (d) {d.style.display='block';}
}

function popupnr(mylink, windowname, refocus)
{
var mywin, href;

if (typeof(mylink) == 'string')
   href=mylink;
else
   href=mylink.href;
mywin = window.open('', windowname, 'width=400,height=200,dependent=yes,scrollbars=yes');

// if we just opened the window
if (
   mywin.closed || 
   (! mywin.document.URL) || 
   (mywin.document.URL.indexOf("about") == 0)
   )
   mywin.location=href;
else if (refocus)
   mywin.focus();
return false;

}