<!-- //
function popup(mylink, windowname, options) {
   if ( ! window.focus ) return true;

   var href;

   if ( typeof( mylink ) == 'string' )
     href = mylink;
   else
     href = mylink.href;

   window.open(href, windowname, options);
   return false;
}

function printpage() {
   if ( window.print != null ) {
     window.print();
     }
   else {
     alert("Unfortunately, your browser does not support this shortcut.  Please select File and then Print from your browser's menu.");
   }
}
// -->