//

<!--

document.writeln('<a href="index1.php">Startside</a>  |');
document.writeln('<a href="reisen1.php">Reisen</a>  |  ');
document.writeln('<a href="omradet1.php">Området</a>  |  ');
document.writeln('<a href="damptog1.php">Damptog</a>  |');
document.writeln('<a href="stasjonene1.php">Stasjonene</a>  |');
document.writeln('<a href="historie1.php">Historie</a>  |');
document.writeln('<a href="anleggstiden1.php">Anleggstiden</a>  |');
document.writeln('<a href="bilder1.php">Bilder</a>  |');
document.writeln('<a href="rutetider1.php">Rutetider</a>');


//-->