function m_hover(itm){
					 	itm.style.backgroundColor = "#FFF5D6";
					 }
					 function m_unHover(itm){
					 	itm.style.backgroundColor = "#fff000";
					 
					 }
					 inMenu = null;
					 outTimer = null;
					 
					 function displayMenu(menu){
					  myMenu = document.getElementById(menu);
					  
					  if( myMenu != inMenu && inMenu != null){//do destroy the other menu immediately
					 	 inMenu.style.display = 'none';
					  }
					  clearTimeout(outTimer);
					  
					  myMenu.style.display = 'inline';
					  inMenu = myMenu;
					 }
					 function hideMenu(menu){
					  var fn = "destroyMenu('" + menu + "')"; 
					  outTimer = setTimeout(fn,500);
					 }
					 function destroyMenu(menu){
					  myMenu = document.getElementById(menu);
					  myMenu.style.display = 'none';
					 
					 }
					 function clearDoc(docID){
						 divID = "doc" + docID;
						container = document.getElementById('documentLinks');
						docItem = document.getElementById(divID);
						container.removeChild(docItem);
						
					 }