document.write('\
<table width=100%><tr>\
<th width=14% class=smallborderL><a href=/ class=plain>Home</a></th>\
<th width=14% class=smallborderL><a href=/conference class=plain>2012 Conference Home</a></th>\
<th width=14% class=smallborderL><a href=/conference/files/savethedate.pdf class=plain>Save the Date!</a></th>\
<th width=14% class=smallborderL><a href=/conference/conference_invitation.php class=plain>Invitation</a></th>\
<th width=14% class=smallborderL><a href=/conference/team_and_committees.php class=plain>Team & Committees</a></th>\
<th width=14% class=smallborderL><a href=/conference/callforpapers.php class=plain>Call for Workshop Proposals</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>\
');