document.writeln('<p><a href="../vega/manual_v7/index.html" target="_blank"><font ');
document.writeln('size="2" face="Arial"><b>Consulte o manual on-line do ');
document.writeln('programa Vega 7 CD...</b></font></a></p>');