function errorHandler(message, url, lineno)
{
  return true;
}
window.onerror = errorHandler;

function a(row, col) {
   var e;
   e = document.getElementById(row);
   e.style.backgroundColor = col;
}
function b(row, col) {
   var e;
   e = document.getElementById(row);
   e.style.backgroundColor= col;
}
function c(loc) {
   window.location = loc;
}