function submitenter(myfield,e)
{
var keycode;
if (window.event) keycode = window.event.keyCode;
else if (e) keycode = e.which;
else return true;

if (keycode == 13)
   {
   myfield.form.submit();
   return false;
   }
else
   return true;
}
function h(element) {
  element.style.backgroundColor = "#CCCCCC";
}

function uh(element, altcol) {
  element.style.backgroundColor = altcol;
}

function goto_url(url) {
  if(url != "") {
    self.location=url;
  }
}