// Footer
document.writeln('<div id="footer">')
document.writeln('<p>Feedback, comments, corrections, and errata can be sent to Chua Hock-Chuan (ehchua@ntu.edu.sg) &nbsp;&nbsp;|&nbsp;&nbsp; <a href="../index.html">HOME</a>')
document.writeln('</div>')