function fade_in () {
  document.getElementById("snh_logo").src = "fileadmin/graphics/snh_logo_over.gif";
}
function fade_out () {
  document.getElementById("snh_logo").src = "fileadmin/graphics/snh_logo.gif";
}