// Prints date page was last modified
function printDateMod() {
  document.write('<div class="lastmod">' + 'Last modified: ');
  document.write(document.lastModified);
  document.write('</div>');
}
// Opens a modified browser window for displaying certain portfolio samples.
function openWindow(URL)
{
window.open(URL,"my_new_window","toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=yes,resizable=yes,copyhistory=no,width=800,height=600")
}