// docwrite_TopMenuBar.js
// first menu segment

document.write('<p style="float:right;"><a href="http://www.pial.org">&nbsp;<img src="../_images/spacer.gif" border="0" /></a></p>');
document.write('<br class="clearfloat" />');