function write_ref() {

   document.write("<div class='tab-box2'>");
   document.write("<div class='tab2'><a class='tab2' href='/is/avatar.html'  ><img class='tab2' src='/is/avatar80x80.jpg'   > <br>Avatar</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/is/blogger.html' ><img class='tab2' src='/is/blogger80x80.jpg'  > <br>Blog</a></div>");
   document.write("</div>");

   document.write("<div class='tab-box'>");
   document.write("<div class='tab'><a class='tab' href='/is/connectionism.html'    ><img class='tab' src='/is/connectionism80x80.jpg'    > <br>Connect.</a></div>");
   document.write("<div class='tab'><a class='tab' href='/is/grid.html'             ><img class='tab' src='/is/grid80x80.jpg'             > <br>Grid</a></div>");
   document.write("<div class='tab'><a class='tab' href='/is/nve.html'              ><img class='tab' src='/is/nve80x80.jpg'              > <br>NVE</a></div>");
   document.write("<div class='tab'><a class='tab' href='/is/socialnetworking.html' ><img class='tab' src='/is/socialnetworking80x80.jpg' > <br>Socialnet</a></div>");
   document.write("</div>");

}
write_ref();