// Build page header
// Page header graphic is assembled in HTMLStr
// Followed by the menu bar and image map for
// link(s) in the header graphic.
// HTMLStr is then output to the browser.
var HTMLStr;
HTMLStr="
" +
"" +
" " +
"  | " +
"
" +
"
" +
"
" +
""
document.write(HTMLStr);