// JavaScript Document


function go() 
{
window.location=document.getElementById("menu").value;
}


function changePic(a,b){
			document.images("m" + a).src="images/tab6"+b+".gif"
			
		}

function changePic1(a,b){
			document.images("m" + a).src="images/tm"+b+".gif"
			
		}