// JavaScript Document

function menu(menu, state){
	document.getElementById(menu).src = path + "images/menu/" + menu + "-" + state + ".gif";
	}