function write_ref() {

   document.write("<div class=\"tab-box2\">");
   document.write("<div class=\"tab2\"><a class=\"tab2\" href=\"/is/lift.html\"     ><img class=\"tab2\" src=\"/is/lift80x80.jpg\"   alt=\"Lift\">     <br>Lift</a></div>");
   document.write("<div class=\"tab2\"><a class=\"tab2\" href=\"/is/chess.html\"    ><img class=\"tab2\" src=\"/is/chess80x80.jpg\"  alt=\"Chess\">    <br>Chess</a></div>");
   document.write("</div>");

   document.write("<div class=\"tab-box\">");
   document.write("<div class=\"tab2\"><a class=\"tab2\" href=\"/is/domain.html\"   ><img class=\"tab2\" src=\"/is/domain80x80.jpg\" alt=\"Domain\">   <br>Domain</a></div>");
   document.write("<div class=\"tab2\"><a class=\"tab2\" href=\"/is/welcome.html\"  ><img class=\"tab2\" src=\"/is/is80x80.jpg\"     alt=\"Applied\">  <br>Applied</a></div>");
   document.write("</div>");

}
write_ref();