// JavaScript Document

function menu_on(tab) {
	var on_src = "images/menu/"+tab+"_on.png";
	var tab_name = "document."+tab+"_tab";
	eval(tab_name).src = on_src;
}

function menu_off(tab) {
	if(document.f1.current_page.value != tab) {
		var off_src = "images/menu/"+tab+"_off.png";
		var tab_name = "document."+tab+"_tab";
		eval(tab_name).src = off_src;	
	}
	
}