function auto_nav() 
{
print_links();
}

function print_links()
{
document.write("<Style>P {FONT-SIZE: 8pt; FONT-FAMILY:arial, helvetica}</style> \
<BR> \
");
}
auto_nav();