function mini_header( root_path )
 { 
  

  document.write(' <table border="0" align="center" cellpadding="0" cellspacing="0" width="100%"> ');
  document.write('   <tr> ');
  document.write('     <td width="10" height="10" nowrap="nowrap" background="' + root_path + '/ornament/ul10.gif"></td> ');
  document.write('     <td background="' + root_path + '/ornament/up10.gif"></td> ');
  document.write('     <td background="' + root_path + '/ornament/ur10.gif"></td> ');
  document.write('   </tr> ');
  document.write('   <tr> ');
  document.write('     <td background="' + root_path + '/ornament/left10.gif"></td> ');
  document.write('     <td> ');
 }