
    <!--


function windowOpener(theURL,winName,features) {
  window.open(theURL,winName,features);
}


function menu(img_name,on_off)
{
document[img_name].src = "images/" + img_name + on_off + ".gif";
}

//-->