document.write("<b>Skolens profil</b><br><br>")
     document.write("[ .. ] <br>"
)

if (location.href.indexOf("archive") != -1) {
document.write("<a href=\"./\">current</a>")
}