function menuhoverL1in(divtag) {
    if (divtag.className != "menuoptionL1-selected")
    {
        divtag.className = "menuoptionL1hover";
    }
}
function menuhoverL1out(divtag) {
    if (divtag.className != "menuoptionL1-selected")
    {
        divtag.className = "menuoptionL1";
    }
}
function menuhoverL2in(divtag) {
    if (divtag.className != "menuoptionL2-selected") {
        divtag.className = "menuoptionL2hover";
    }
}
function menuhoverL2out(divtag) {
    if (divtag.className != "menuoptionL2-selected") {
        divtag.className = "menuoptionL2";
    }
}
function thumbnailhover(divtag, inOut) {
    if (inOut == "out") {
        divtag.className = "thumbnail";
    }
    else {
        divtag.className = "thumbnailhover";
    }
}
function changeImage(filename, height) {
    var mainImage = document.getElementById("mainimage");
    if (mainImage != null) {
        mainImage.src = filename;
        mainImage.height = height;
    }
}