function on(val)
{
	// get specific div item, identified by node index
   var itm = document.getElementById(val);
   var txt = document.getElementById(val+"text");
  
   // turn on menu tip display
   txt.style.display="block";

   // set style properties
   itm.style.display="none";
}

function off(val)
{
	// get specific div item, identified by node index
   var itm = document.getElementById(val);
   var txt = document.getElementById(val+"text");
  
   // turn on menu tip display
   txt.style.display="none";

   // set style properties
   itm.style.display="block";
}

function on2(val)
{
var itm = document.getElementById(val);
itm.style.background="#ffffff"; 
itm.style.color="#000000";
}

function off2(val)
{
var itm = document.getElementById(val);
itm.style.background=""; 
itm.style.color="#ffffff";
}

function on3(val,val2)
{
	// get specific div item, identified by node index
   var txt = document.getElementById(val);
   var itm = document.getElementById(val2);
  
   // turn on menu tip display
   txt.style.display="block";

   // set style properties
   itm.style.display="none";
}

function off3(val,val2)
{
	// get specific div item, identified by node index
   var txt = document.getElementById(val);
   var itm = document.getElementById(val2);
  
   // turn on menu tip display
   txt.style.display="none";

   // set style properties
   itm.style.display="block";
}

function on4(val)
{
	// get specific div item, identified by node index
   var txt = document.getElementById(val);
   //var itm = document.getElementById(val2);
  
   // turn on menu tip display
   txt.style.background="red";
   txt.style.color="white";

   // set style properties
  // itm.style.display="none";
}

function off4(val)
{
	// get specific div item, identified by node index
   var txt = document.getElementById(val);
   //var itm = document.getElementById(val2);
  
   // turn on menu tip display
   txt.style.background="yellow";
   txt.style.color="black";

   // set style properties
   //itm.style.display="block";
}