function jumpToName()
{
   var namelist = document.getElementsByName("namelist");
   var val = namelist[0].options[namelist[0].selectedIndex].value;
   var vals = val.split(",");
   var loc = "/ww" + vals[0] + ".php";
   if (vals[1] > 0) loc += "?p=" + vals[1];

   window.location = loc;
}