// krabihotels.js

function jumpMenu(targ,selObj,restore) { 
	eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
	if(restore) selObj.selectedIndex=0;
}