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


// info@example.com
// 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,112,111,107,101,114,102,97,99,101,46,99,111,46,106,112,62,63,115,117,98,106,101,99,116,61) +  escape(i_2) + "'");}