document.write('<a href="bk.hal.spacejock.001.html"><i>Hal Spacejock</i></a>.' )