function renderheader(path) { var str = "\ \
Treasure Hunt Project
\
\ \
\
\
\ \ \ \ \ \ \ "; document.write(str.replace(/_path_to_root_/g,path)); }
\
Sponsored by the Boeing Company
\