document.write('Downloads
'); document.write('Tutorial
'); document.write('Example(s): nqueens.pl
');