var headerHTML1 = new String("\
\
\
\
\
![\"Home\"](\"images/top01.jpg\") | \
\
| \
\
![\"Home\"](\"images/top03.jpg\") | \
\
\
\
\
\
\
\
![](\"../images/clear.gif\") | \
\
\
| \
\
\
\
");
var headerHTML2 = new String("\
\
\
\
![](\"images/clear.gif\") | \
\
\
| \
| \
\
| \
\
| \
\
\
");
//Search Results page should call this function
function doHeader() {
document.open();
document.write(headerHTML1);
document.write(headerHTML2);
}