// --- Menuewechsel -----
var dir = "images/jpeg/";
var ziel;
var pict;
var service;
var bild;
var titel;

function buttons(pict,ziel) {
document.getElementById(pict).src = dir+ziel+".jpg";
}

function servshow(bild,titel) {
document.getElementById('service').src = dir+bild+".jpg";
document.getElementById('service').title = titel;
}

function logout(x) {
if(x == 1) self.location.href="../seiten/logout.php";
}