<!-- Table cell background swap script. // Author: Emery Wooten - www.wpnet.org/mre - copyright 2002 -->
<!--
var num=(new Date().getSeconds()%5);
//var num = Math.round(Math.random() * 5)
document.write('<td background=menu_images/top_background'+num+'.jpg height="62" width="100%">');
document.write('<p align="center"><img border="0" src="menu_images/top_text'+num+'.gif" width="498" height="125"></p>');
document.write('</td></tr><tr><td height="32" background="images/pg_cell.gif" valign="middle">&nbsp;</td></tr><tr><td height="12">')
document.write('<p align="left"><img border="0" src="images/spacer.gif" width="92" height="1"><img border="0" src="images/column_top.gif" width="68" height="21"></p></td></tr>')
//-->