function showProps()
{
	var t=setTimeout("showPropsThen()",150);
}

function showPropsThen()
{
	document.getElementById("divPropsMenu").style.display="block";
}


function hideProps()
{
	document.getElementById("divPropsMenu").style.display="none";
}