function showmenu(div)
{
document.getElementById(div).style.display="inline"
}
function hidemenu(div)
{
document.getElementById(div).style.display="none"
}

function launchVideo(div)
{
document.getElementById(div).style.display="inline"
}
function closeVideo(div)
{
document.getElementById(div).style.display="none"
}