document.write( '<p class=Normal2><br>' );
document.write( "Title: <i>" + document.title + "</i><br>");
document.write( "URL: <i>" + document.URL + "</i><br>" );
if( Date.parse(document.lastModified) != 0)
{
  document.write("Version: <i>" + ddate + "</i></p>");
}