// fly over menu functions 30 july 07

function flyout(x)
{
var v = x;
document.getElementById("flymenu" + x).style.display="none";
}

function flyover(x)
{
var v = x;
document.getElementById("flymenu" + x).style.display="block";
}

// end fly over menu functions