function f8page()
{
   var url = document.f8.pg.options[document.f8.pg.selectedIndex].value; 
   window.location.href = url;
}
function f9url()
{
   var url = document.f9.url.options[document.f9.url.selectedIndex].value; 
   window.open(url);
}