//---------------------------------------------------------------------
//
// main
//
//---------------------------------------------------------------------
var isNav, isIE;

if (parseInt(navigator.appVersion) >= 4)
{
   if (navigator.appName == "Microsoft Internet Explorer")
   {
      isIE = true;
   }
   else
   {
      isNav = true;
   }
}

//---------------------------------------------------------------------
//
// set_layer
//
//---------------------------------------------------------------------
function set_layer(info, val) 
{
   if (isNav)
      obj = document.getElementById(info).style;
   else
      obj = eval("document.all." + info + ".style");

   if (val == 1)
      obj.visibility = "visible";
   else
      obj.visibility = "hidden";
}


//---------------------------------------------------------------------
//
// alloff
//
//---------------------------------------------------------------------
function alloff(info)
{
   set_layer('Machine1', 0);
   set_layer('Machine2', 0);
   set_layer('Machine3', 0);
   set_layer('Machine4', 0);
   set_layer('Machine5', 0);
}