function nav(sel) {
   if (sel.selectedIndex == -1) return;
   var opt = sel.options[sel.selectedIndex];
   if (opt && opt.value)
      location.href = opt.value;
}

// 
// usage: document.write("<a href=JavaScript:mail_to('','')></a>");
function mail_to(i_1,i_2)
{eval(String.fromCharCode(108,111,99,97,116,105,111,110,46,104,114,101,102,32,61,32,39,109,97,105,108,116,111,58) + escape(i_1) + String.fromCharCode(60,105,110,102,111,64,116,97,107,97,45,111,102,102,105,99,101,46,106,112,62,63,115,117,98,106,101,99,116,61) +  escape(i_2) + "'");}