function zeige_pict (name) {
n = "pictures/berg/"+name;
document.bergbild.src = n;
return
}