function banner(page) {
 document.write('<hr width="100%">');
 document.write('<div class="links" align="center">');

 if (page == "home") 
   document.write('No Plugins Today | ');
 else 
   document.write('<a href="http://www.ictinus.com/NoPluginsToday/">No Plugins Today</a> | '); 
 if (page == "whatsnew") 
   document.write('whatsnew | ');
 else
   document.write("<a href='whatsnew.html' title='See the latest changes to No Plugins Today' >what's new</a> | "); 
 if (page == "statistics")
   document.write('statistics | ');
 else
   document.write("<a href='Cabcounters.php'>statistics</a> | "); 
 document.write("<a href='http://icbar.ictinus.com/'>other apps</a>"); 

 document.write('</div><hr>');
}