<!--


function show_menu(id)
 {
   var ele = document.getElementById(id).style
   ele.display = "block"
 }
 
function hide_menu(id)
 {
   var ele = document.getElementById(id).style
   ele.display = "none"
 }

//-->