var dropTimer = null;

function set(movie)
{
document.all['video123'].Open("/video/" + movie + ".wmv");
}

function showdropmenu()
{
	if(dropTimer != null)
		clearTimeout(dropTimer);
	document.getElementById('dropmenu4').style.visibility = 'visible';
}

function hidedropmenu()
{
	dropTimer = setTimeout("hidedropmenu2();",500);
}

function hidedropmenu2()
{
	document.getElementById('dropmenu4').style.visibility = 'hidden';
}

function stophide()
{
	if(dropTimer != null)
		clearTimeout(dropTimer);
}