function redirect()
{
   thenumber = document.menu.destination.selectedIndex;
   destination = document.menu.destination.options[thenumber].value;
   if (destination != "")
   {
	   window.location = destination;
   }
}

function scroll()
{
   var uagent=navigator.userAgent;
   if(uagent.indexOf('Mac',0)>-1)
	 {
       window.scroll(0,0);
   }
}