/* ultheader.js - Common head of documents
*/

  <!-- Hiding the code

  document.write(' ');
document.write('<style type="text/css">');
document.write('<!--');
document.write('  .roll { font-family:Exotc350 DmBd BT; font-size:18pt; text-decoration:none; color:#035D5C; }');
document.write('  A.roll:hover { color:#750B03; }');
document.write('  .rolls { font-family:Exotc350 DmBd BT; font-size:16pt; text-decoration:none; color:#035D5C; }');
document.write('  A.rolls:hover { color:#750B03; }');
document.write('  .rolla { font-family:lucida sans serif; font-size:10pt; text-decoration:underline; color:red; }');
document.write('  A.rolla:hover { color:red; }');
document.write('-->');
document.write('</style>');



  // done hiding -->