function menu_over(which)
{
	document.getElementById('navi_' + which + '_inline').style.display = 'none';
	document.getElementById('navi_' + which + '_hover').style.display = 'block';
}
function menu_out(which)
{
	document.getElementById('navi_' + which + '_inline').style.display = 'block';
	document.getElementById('navi_' + which + '_hover').style.display = 'none';
}

function openWin(url,width,height)
{
	var left = parseInt((screen.availWidth/2) - (width/2));
    var top = parseInt((screen.availHeight/2) - (height/2));
	myWin = window.open(url, "myWin", "width=" + width + ",height=" + height + ",scrollbars=yes,left=" + left + ",top=" + top + "screenX=" + left + ",screenY=" + top);
	myWin.focus();
}