var currentHighlight='toc_temp';

		toc1on = new Image();
        toc1on.src = "images/menu3.gif";
        
		toc1off = new Image();
        toc1off.src = "images/menu3_hl.gif";
        
		toc2on = new Image();
        toc2on.src = "images/menu6.gif";
        
		toc2off = new Image();
        toc2off.src = "images/menu6_hl.gif";
        
		toc3on = new Image();
        toc3on.src = "images/menu9.gif";

		toc3off = new Image();
        toc3off.src = "images/menu9_hl.gif";
        
		toc4on = new Image();
        toc4on.src = "images/menu12.gif";
        
		toc4off = new Image();
        toc4off.src = "images/menu12_hl.gif";
        
		toc5on = new Image();
        toc5on.src = "images/menu16.gif";
        
		toc5off = new Image();
        toc5off.src = "images/menu16_hl.gif";
        
		toc6on = new Image();
        toc6on.src = "images/menu20.gif";

		toc6off = new Image();
        toc6off.src = "images/menu20_hl.gif";






		
		
		function img_act(imgName)
		{
		 imgOn = eval(imgName + "on.src");
		 document.images[imgName] = imgOn;
		}

		function img_inact(imgName)
		{
        imgOff = eval(imgName + "off.src");
        document.images[imgName].src = imgOff;
      	}

		function img_inact1(imgName) {
      
        imgOn = eval(imgName + "on.src");
        document.images[imgName].src = imgOn;
       
		}

		function shift(imgName){
			
			if (imgName!=currentHighlight)
			{
			img_inact(imgName);
			currentHighlight='toc_temp';
			}

		

		}

			function shift1(imgName)
			{
			img_inact1(imgName);
			currentHighlight='toc_temp';
			}







    // JavaScript to interpolate random images into a page.
    var ic = 5;     // Number of alternative images
    var xoxo = new Array(ic); 
	var xoxo1 = new Array(ic);
	var xoxo2 = new Array(ic);// Array to hold filenames
        
xoxo[0] =  "images/r1.png";
xoxo[1] =  "images/r2.png";
xoxo[2] =  "images/r3.png";
xoxo[3] =  "images/r4.png";
xoxo[4] =  "images/r5.png";

xoxo1[0] =  "images/r6.png";
xoxo1[1] =  "images/r7.png";
xoxo1[2] =  "images/r8.png";
xoxo1[3] =  "images/r9.png";
xoxo1[4] =  "images/r10.png";

xoxo2[0] =  "images/r11.png";
xoxo2[1] =  "images/r12.png";
xoxo2[2] =  "images/r13.png";
xoxo2[3] =  "images/r14.png";
xoxo2[4] =  "images/r15.png";


function pickRandom(range) {
if (Math.random)
return Math.round(Math.random() * (range-1));
else {
var now = new Date();
return (now.getTime() / 1000) % range;
}
}
// Write out an IMG tag, using a randomly-chosen image name.
var choice = pickRandom(ic);

var choice1 = pickRandom(ic);
var choice2 = pickRandom(ic);