// JavaScript Document

document.write("<p align='center'><font color='#666666' size='1' face='MS Sans Serif'> "); 
document.write("[ <a href='/english/index.html' target='_top'><font color='#000000'>homepage</font></a>"); 
document.write("| <a href='/english/html/nocoes/html/nocoes.html' target='_top'><font color='#000000'>statistical concepts</font></a> "); 
document.write("| <a href='/english/html/statofic/html/conhece/pdf/Portugal2007.pdf' target='_blank'><font color='#000000'>Portugal in figures</font></a> "); 
document.write("| <a href='/english/html/nomesEdatas/html/nomesEdatas.html' target='_top'><font color='#000000'>names & dates</font></a> "); 
document.write("]<br/>"); 
document.write("[ <a href='/english/html/trivial/html/estatrivial.html' target='_top'><font color='#000000'>fun with statistics</font></a> "); 
document.write("| <a href='/english/html/statofic/html/dossier/html/dossier6.html' target='_top'><font color='#000000'>dossiers and resources</font></a> "); 
document.write("| <a href='/english/asp/meio.asp' target='_top'><font color='#000000'>your surroundings</font></a> "); 
document.write("| <a href='/english/html/comentar/html/comentar.html' target='_top'><font color='#000000'>contact us</font></a> "); 
document.write("]</font> &nbsp;</p>");