function menu1_over()
{
  menu1.style.visibility = "visible"
}

function menu1_out()
{
  menu1.style.visibility = "hidden"
}

function menu2_over()
{
  menu2.style.visibility = "visible"
}

function menu2_out()
{
  menu2.style.visibility = "hidden"
}

function menu3_over()
{
  menu3.style.visibility = "visible"
}

function menu3_out()
{
  menu3.style.visibility = "hidden"
}

function menu4_over()
{
  menu4.style.visibility = "visible"
}

function menu4_out()
{
  menu4.style.visibility = "hidden"
}

function menu5_over()
{
  menu5.style.visibility = "visible"
}

function menu5_out()
{
  menu5.style.visibility = "hidden"
}

function menu6_over()
{
  menu6.style.visibility = "visible"
}

function menu6_out()
{
  menu6.style.visibility = "hidden"
}

function menu7_over()
{
  menu7.style.visibility = "visible"
}

function menu7_out()
{
  menu7.style.visibility = "hidden"
}

function menu8_over()
{
  menu8.style.visibility = "visible"
}

function menu8_out()
{
  menu8.style.visibility = "hidden"
}

function menu9_over()
{
  menu9.style.visibility = "visible"
}

function menu9_out()
{
  menu9.style.visibility = "hidden"
}