function checkjs(){
document.getElementById("infotext").style.color = "green";
document.getElementById("infotext").style.fontWeight = "normal";
document.getElementById("infotext").innerHTML = "Hier bekommen Sie Informationen angezeigt, wenn Sie mit der Maus über die Navigationsleiste fahren";
}