// 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(21);
    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[3] = new Image();
    imagepreload[3].src = "toc_imgs/bpub_off.gif";
    imagepreload[4] = new Image();
    imagepreload[4].src = "toc_imgs/bpub_hlt.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[9] = new Image();
    imagepreload[9].src = "toc_imgs/bmap_off.gif";
    imagepreload[10] = new Image();
    imagepreload[10].src = "toc_imgs/bmap_hlt.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[15] = new Image();
    imagepreload[15].src = "toc_imgs/baut_off.gif";
    imagepreload[16] = new Image();
    imagepreload[16].src = "toc_imgs/baut_hlt.gif";
    imagepreload[18] = new Image();
    imagepreload[18].src = "toc_imgs/bfra_off.gif";
    imagepreload[19] = new Image();
    imagepreload[19].src = "toc_imgs/bfra_hlt.gif";
    
    
// used for onmousover()
//	var selected = "babt";
	
    function highlight(iName)
	{
		document.images[iName].src=("toc_imgs/"+iName+"_hlt.gif");
	}

//used for onmousout()
    function unhighlight(iName)
    {
            document.images[iName].src=("toc_imgs/"+iName+"_off.gif");
    }