// JavaScript Document
function displaymenu()
{
	
		document.getElementById('hiddenmenuover').style.display = 'block';
		
		//document.getElementById('facility').className='wireframemenu2';
		//alert(document.getElementById('facility').className);

}
function hidemenu()
{
	
		document.getElementById('hiddenmenuover').style.display = 'none';
				//document.getElementById('facility').className='wireframemenu';

}