function RunFoo(){ document.write('

\n'); } function main1(){ document.write('

\n'); } function main2(){ document.write('

\n'); } function main3(){ document.write('

\n'); } function banner_bos(){ document.write('

\n'); }