function divKlickLogo_OnMouseOver(e, picName){
    var z = Math.round(Math.random());
    var p = ( z == 1 ) ? "pic/DIr.gif" : "pic/DIg.gif";

    var pic = document.getElementById(picName)
    pic.src = p;
}

function divKlickLogo_OnMouseOut(e, picName){
    var pic = document.getElementById(picName)
    pic.src = "pic/DIs.gif"   
}

function divKlickLogo_OnClick(e){
    document.getElementById("dummy").focus();
}