(target)) + '</a></td>\n');
}
/* ============================================================================================================================== */
//alert('START');
function append_doc(target){
   FRAMECOUNT=FRAMECOUNT+1;
   /* document.write('<xmp>');
   */
   document.write('<br class="newpage"/>');
   document.write('<a name="DOCUMENT'+ FRAMECOUNT  + '"><a href="#TOP"> &nbsp;INDEX</a></a>\n');

   document.write('<div id="display' + FRAMECOUNT + '"></div>');
   document.write('<iframe wid