//function quick-menu-js(targ,url,restore){//doesn't like minus
function quick_menu_js(targ,url,restore){
			eval(targ + ".location='"+ url.options[url.selectedIndex].value + "'");
			if (restore) url.selectedIndex=0;
		}