function writemenu(numbertimes) { 
   for (var count =1; count <= numbertimes; ++count ) { 
      document.write ('<img src="tcssml.gif"> ');
      document.write ('<p> ');
      document.write ('<b> ');
      document.write ('<a href="index.htm">Main Page</a><br> ');
      document.write ('<a href="applic.htm">Application</a><br> ');
      document.write ('<a href="meetings.htm">Meetings</a><br> ');
      document.write ('<a href="ioport.htm">Newsletter</a><br> ');
      document.write ('<a href="webpage.htm">Links</a><br> ');
      document.write ('<a href="search.htm">Search Engines</a><br> ');
      document.write ('</b> ');
      document.write ('<p> ');
    } 
  }