<!--
	function roll_off(object){
	eval('l' + object + '.style.background="#000099";');
	eval('r' + object + '.style.background="#f7de31";');
}
	function roll_over(object){
	eval('l' + object + '.style.background="#990033";');
	eval('r' + object + '.style.background="#EEEEEE";');
}
	function st_off(object){
	eval('r' + object + '.style.background="#f7de31";');
}
	function st_over(object){
	eval('r' + object + '.style.background="#FF0000";');
}

function JumpNav()
   {
   var list = document.shortcut.select

   if (list.selectedIndex != 0)
      {
      var loc = list.options[list.selectedIndex].value
      list.options[0].selected = 1
      location = loc
      }
   return 1;
   }

//-->