/* document.write('<a target="_blank" href="/" border="0" />'); */
/* document.write('<img border="0" src="/pubs/pub.gif" />'); */
/* document.write('</a>'); */