var displayvmenu=0;
function showVMenu()
{
	if (!displayvmenu)
	{
		document.getElementById('vmenu').style.visibility="visible";
	}
	displayvmenu=1;

}
function hideVMenu()
{
	if (!displayvmenu)
	{
		document.getElementById('vmenu').style.visibility="hidden";
	}
}

