function write_ref() {

   document.write("<div class='tab-box2'>");
   document.write("<div class='tab2'><a class='tab2' href='/is/google.html'       ><img class='tab2' src='/is/google80x80.jpg'       > <br>Google</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/is/identifiers.html'  ><img class='tab2' src='/is/identifiers80x80.jpg'  > <br>Identify</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/is/isindex.html'      ><img class='tab2' src='/is/isindex80x80.jpg'      > <br>Index</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/is/isvocabulary.html' ><img class='tab2' src='/is/isvocabulary80x80.jpg' > <br>Vocab</a></div>");
   document.write("</div>");

   document.write("<div class='tab-box'>");
   document.write("<div class='tab'><a class='tab' href='/is/pedagogy.html'     ><img class='tab' src='/is/pedagogy80x80.jpg'     > <br>Pedagogy</a></div>");
   document.write("<div class='tab'><a class='tab' href='/is/referral.html'     ><img class='tab' src='/is/referral80x80.jpg'     > <br>Referral</a></div>");
   document.write("<div class='tab'><a class='tab' href='/is/referrerspam.html' ><img class='tab' src='/is/referrerspam80x80.jpg' > <br>Ref Spam</a></div>");
   document.write("<div class='tab'><a class='tab' href='/is/relevance.html'    ><img class='tab' src='/is/relevance80x80.jpg'    > <br>Relevant</a></div>");
   document.write("<div class='tab'><a class='tab' href='/is/search.html'       ><img class='tab' src='/is/search80x80.jpg'       > <br>Search</a></div>");
   document.write("</div>");

}
write_ref();