// JavaScript Document

	var notHide = 0;

	function displayMenu(type){

		menuObj = document.getElementById("dropDownMenu");

		if(type == "none"){

			notHide = 0;

			t=setTimeout("hideMenu()",3000);

			return;

		}

		else{

			menuObj.style.display = type;

			notHide = 1;

		}

	}

	function hideMenu(){

		if(notHide == 0){

			menuObj = document.getElementById("dropDownMenu");

			menuObj.style.display = "none";

		}

	}