// We use JavaScript as a way to easily include this header
// information in several HTML pages.

// The 'top' anchor (used by footer_hpctools.js)
document.write('<a name="top"></a>');

// Locate the 'HPCTools' Image (height = 71 pixels)
document.write('<img src="http://hpff.rice.edu/images/HPFF_logo.jpg">');

// Menu items
document.write('<table width="100%" border="0" cellspacing="0" cellpadding="0">');
document.write('<tr>');
document.write('<td align="center">');
document.write('[ <a href="http://hpff.rice.edu/index.htm">HPF Home</a> |');
document.write('  <a href="http://hpff.rice.edu/versions/index.htm">Versions</a> |');
document.write('  <a href="http://hpff.rice.edu/compilers/index.htm">Compilers</a> |');
document.write('  <a href="http://hpff.rice.edu/projects/index.htm">Projects</a> |');
document.write('  <a href="http://hpff.rice.edu/publications/index.htm">Publications</a> |');
document.write('  <a href="http://hpff.rice.edu/applications/index.htm">Applications</a> |');
document.write('  <a href="http://hpff.rice.edu/benchmarks/index.htm">Benchmarks</a> |');
document.write('  <a href="http://hpff.rice.edu/events/index.htm">Events</a> |');
document.write('  <a href="http://hpff.rice.edu/contacts/index.htm">Contact</a> ]');
document.write('</td>');
document.write('</tr>');
document.write('</table>');
document.write('<hr>');

// ***************************************************************************

// Unfortunately we have to support Netscape 4.  The right way to do
// this would be something like:

// Locate the 'HPCTools' Image (height = 71 pixels)
//document.write('<img style="position:absolute; top:0px; left:0px" src="images/header.gif">');

// Row 1 of the menu items (over the image)
// document.write('<div style="position:absolute; top:5px; right:15px;">');
// document.write('[ <a href="index.html">Overview</a> |');
// ...
// document.write('</div>');