//if (window != window.top)
//	top.location.href = location.href;

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

function ref(object) {
	if (document.getElementById) {
		return document.getElementById(object);
	}
	else if (document.all) {
		return eval('document.all.' + object);
	}
	else {
		return false;
	}
}