function change_image(image, ename)
{
  if(event.srcElement.tagName == "TD")
    event.srcElement.style.background = "url" + "('" + image + "')";
  event.srcElement.style = '';
}

function change_class(class_)
{
  if(event.srcElement.tagName == "TD")
    event.srcElement.className = class_;
  if(event.srcElement.tagName == "INPUT")
    event.srcElement.className = class_;
}

function jumpto_url(url_)
{
  window.location = url_;
}