function initialize_page() { // Called on page load to setup the page. announce_page_loaded(); } function announce_page_loaded() { // If we're in a frameset, tell the TOC frame this page was loaded, so it can track it. if (top.frames.length) { top.frames[0].page_loaded(document.location); } }