function changeHead()
{
    var zufall = Math.floor((Math.random()*5)+1);
    var file = "images/kopf_bilder"+zufall+".jpg";

    document.getElementById("head").style.backgroundImage = "url('"+file+"')";
}