function navigationBar() { document.write("
"); } function searchBar() { document.write("
"); document.write("

##### search

"); document.write("
"); document.write(""); document.write(""); document.write(""); document.write(""); document.write(""); document.write(""); document.write("
"); document.write("
"); } function getToolBox(pageTitle) { document.write("
"); document.write("

##### toolbox

"); document.write("
"); document.write("

"); document.write("
- What links here
"); document.write("
- Related changes
"); document.write("
- Special Pages
"); document.write("

"); } function getPageHeader() { bodyText = " " document.write(bodyText) } function getDisclaimerLink() { bodyText = " Disclaimer and Terms " document.write(bodyText) }