// JavaScript Document 		
function fixmenu( )
{
	var menu = document.getElementById('mainMenu');
	menu.style.zIndex = "1003000";
	
}