/* main JavaScript functions */

function setStatus(msg) {
	window.status = msg;
	return true;
}

function jump(menu){
  var loc = menu[menu.selectedIndex].value.split("|");
  if(loc.length == 2)
    window.open(loc[1], loc[0]);
}
	
//  End -->