setbgcolor = function(obj, color) {
  if(!color) color = "white";
  obj.style.background=color;
}
lastMod = function() {
  var lastup = new Date(document.lastModified);
  var m = lastup.getMonth() + 1;
  document.write('LastUpdate: '+lastup.getFullYear()+'.'
                               +m+'.'
			       +lastup.getDate()+'<BR>');
}