// JavaScript Document
function menu_change(name,n){

	if(n==1) {
		btname=name+"a.gif";
		document[name].src="./img/"+btname;
	}
	else{
		btname=name+".gif";
		document[name].src="./img/"+btname;
	}
	
}