function printable(header) {

// var ws = window.name;
// var wt = window.parent.name;
// if ( ws != wt ) {
   if ( window.name == 'printable' ) {
      document.write ('<p>&nbsp;<br>');
      document.write ('<font size="+2"><font color="#943142"><B><I>' + header + '</I></B></font></font><br>');
      document.write ('<hr align="left" color="#943142" WIDTH="80%">');
  }
}