with(document) {
    write('<hr>');
    write('<table cellpadding="0" width="100%">');
    write('<tr>');
    write('<td align="left"><a href="JavaScript:history.back();"><img src="../images/back.gif" width="65" height="17" alt="back"></a></td>');
    write('<td align="center"><a href="../index.html" target="_top"><img src="../images/home.gif" width="65" height="17" alt="home"></a></td>');
    write('<td align="right"><a href="JavaScript:history.forward();"><img src="../images/next.gif" width="65" height="17" alt="next"></a></td>');
    write('</tr>');
    write('</table>');
}