<!--
var ns4 = (document.layers) ? true:false
      var ie4 = (document.all) ? true:false
      var gecko = (document.getElementById) ? true:false

function undomen(num)

{


  subthing="submen" + num
    if(gecko){
   document.getElementById(subthing).style.visibility='hidden'}
    if(ie4){
        document.all[subthing].visibility="hidden"}


}
function domen(thing)
{ 
var subthing="submen" + thing;


  document.getElementById(subthing).style.visibility="visible";
 

}
function Blowmenu()
{ 

for(a=1;a<3;a++)
{thing="men1"
 
if(gecko){
 document.getElementById(thing).style.background="url(images/menubuttonoff.gif);"}
if(ie4){
document.all[thing].style.background="url(images/menubuttonoff.jpg)"}
}}

//-->