function openPic(imageName,imageWidth,imageHeight,alt,posLeft,posTop) {
        newWindow = window.open("","newWindow","width="+imageWidth+",height="+imageHeight+",left="+posLeft+",top="+posTop);
        newWindow.document.open();
        newWindow.document.write('<html><title>'+alt+'</title><body bgcolor="#FFFFFF" leftmargin="0" topmargin="0" marginheight="0" marginwidth="0" onBlur="self.close()">');
        newWindow.document.write('<img src='+imageName+'  width='+imageWidth+' height='+imageHeight+' alt='+alt+'>');
        newWindow.document.write('</body></html>');
        newWindow.document.close();
        newWindow.focus();
}
function Last_Update(date)
{
  var d = date.getDate();
  var m = date.getMonth();
  var y = date.getFullYear()
  var mmm =
    (0==m)?'Jan':(1==m)?'Feb':(2==m)?'Mar':(3==m)?'Apr':
    (4==m)?'May':(5==m)?'Jun':(6==m)?'Jul':(7==m)?'Aug':
    (8==m)?'Sep':(9==m)?'Oct':(10==m)?'Nov':'Dec';
 return "" + d + " " + mmm + " " + y;
}
function datums()
	{
  var lmd = document.lastModified;
  var s   = "Unknown";
  var d1;

  if(0 != (d1=Date.parse(lmd)))
  {
    s = "" + Last_Update(new Date(d1));
  }
  return s;
}
