// javascript code for push-button type menu
// only one button may be pushed at once
// C. Gabriel Codina 2000

// preload button graphics
	var	imagepreload = new Array(24);
    imagepreload[0] = new Image();
    imagepreload[0].src = "toc_imgs/babt_off.gif";
    imagepreload[1] = new Image();
    imagepreload[1].src = "toc_imgs/babt_hlt.gif";
    imagepreload[2] = new Image();
    imagepreload[2].src = "toc_imgs/babt_on.gif";
    imagepreload[3] = new Image();
    imagepreload[3].src = "toc_imgs/bpub_off.gif";
    imagepreload[4] = new Image();
    imagepreload[4].src = "toc_imgs/bpub_hlt.gif";
    imagepreload[5] = new Image();
    imagepreload[5].src = "toc_imgs/bpub_on.gif";
    imagepreload[6] = new Image();
    imagepreload[6].src = "toc_imgs/bcon_off.gif";
    imagepreload[7] = new Image();
    imagepreload[7].src = "toc_imgs/bcon_hlt.gif";
    imagepreload[8] = new Image();
    imagepreload[8].src = "toc_imgs/bcon_on.gif";
    imagepreload[9] = new Image();
    imagepreload[9].src = "toc_imgs/bmap_off.gif";
    imagepreload[10] = new Image();
    imagepreload[10].src = "toc_imgs/bmap_hlt.gif";
    imagepreload[11] = new Image();
    imagepreload[11].src = "toc_imgs/bmap_on.gif";
    imagepreload[12] = new Image();
    imagepreload[12].src = "toc_imgs/bhel_off.gif";
    imagepreload[13] = new Image();
    imagepreload[13].src = "toc_imgs/bhel_hlt.gif";
    imagepreload[14] = new Image();
    imagepreload[14].src = "toc_imgs/bhel_on.gif";
    imagepreload[15] = new Image();
    imagepreload[15].src = "toc_imgs/baut_off.gif";
    imagepreload[16] = new Image();
    imagepreload[16].src = "toc_imgs/baut_hlt.gif";
    imagepreload[17] = new Image();
    imagepreload[17].src = "toc_imgs/bnof_on.gif";
    imagepreload[18] = new Image();
    imagepreload[18].src = "toc_imgs/bnof_off.gif";
    imagepreload[19] = new Image();
    imagepreload[19].src = "toc_imgs/bnof_hlt.gif";
    imagepreload[20] = new Image();
    imagepreload[20].src = "toc_imgs/bnof_on.gif";
    imagepreload[21] = new Image();
    imagepreload[21].src = "toc_imgs/bfnq_off.gif";
    imagepreload[22] = new Image();
    imagepreload[22].src = "toc_imgs/bfnq_hlt.gif";
    imagepreload[23] = new Image();
    imagepreload[23].src = "toc_imgs/bfnq_on.gif";
        
// used for onmousover()
	
    function highlight(iName)
    { // switches the button image if its not the selected button
        if (document.images[iName].src.toString().indexOf("_on")>-1)
        {
            document.images[iName].src=("toc_imgs/"+iName+"_on.gif");
        } else
        {
            document.images[iName].src=("toc_imgs/"+iName+"_hlt.gif");
        }
    }
//used for onmousout()
    function unhighlight(iName)
    {	// the icon switched 'on' ??
        if (document.images[iName].src.toString().indexOf("_on")>-1)
      {	
            document.images[iName].src=("toc_imgs/"+iName+"_on.gif");
      } else
      {
            document.images[iName].src=("toc_imgs/"+iName+"_off.gif");
      }
    }

//used for onclick()
    function press(iName)
    {
        for (index in document.images)
        {
			if (index.toString() != "notme")
			{
	            if (index.toString() == iName)
	            {
	    	        document.images[iName].src=("toc_imgs/"+iName+"_on.gif");
	            } else
	            {
					if (!(index>0))
					{
					    document.images[index].src=("toc_imgs/"+index+"_off.gif");
					}
	            }
			}
		}
    }