document.write('\
<table width=100%><tr>\
<th width=14% class=smallborderL><a href=/index.shtml class=plain>Home</a></th>\
<th width=14% class=smallborderL><a href=/conference class=plain>Conference Home</a></th>\
<th width=14% class=smallborderI><a href=/conference/program.php class=plain>Program</a></th>\
<th width=14% class=smallborderI><a href=/conference/registration.php class=plain>Registration</a></th>\
<!--\
<th width=14% class=smallborderI><a href=/conference/scholarships.php class=plain>Scholarships</a></th>\
-->\
<th width=14% class=smallborderI><a href=/conference/lodging.shtml class=plain>Lodging</a></th>\
</tr></table>\
');