</div> <div id="functions"> <span id="pre_intro">A copy of the JavaScript functions in the head element:</span> <pre> </pre> </div> </body> </html>