// JScript File
function overImage(obj){
    obj.src = 'Billeder/potevalgt.GIF';
}

function outImage(obj){
    obj.src = 'Billeder/pote.GIF';
}

function selectMenu(name){
    var TheImage = document.getElementById(name);
    TheImage.src = 'Billeder/potevalgt.GIF';
}

function deselectMenu(name){
    var TheImage = document.getElementById(name);
    TheImage.src = 'Billeder/pote.GIF';
}

function visMig(dokument){
    window.location.href = dokument;
}