function IsEmpty (txt){ var c,i; if (txt == "") return true; for (i=0; i<txt.length; i++) { c = txt.charAt(i);  if ( c!=" " && c!="\n" && c!="\t" && c!="\r") return false; } return true; }

function MM_jumpMenu(selObj){ //v3.0
  document.location.href=selObj.options[selObj.selectedIndex].value;
}