
	function change(id) {
		var fix = '-2';
		var el = document.getElementById(id);

		el.src = (el.src.indexOf(fix)!=-1) ? el.src.replace(eval('/'+fix+'/'),'') : el.src.replace(/\.gif$/,fix+'.gif');
	}


	function menu(obj1,obj2) {
		var els1=document.getElementById(obj1);
//		var els2=document.getElementById(obj2);

		els1.style.display = (els1.style.display=="none") ? "block" : "none";
	}
