function modifyImage(pic, overout){
    var el = document.getElementById("img" + pic);
    var eltxt = document.getElementById("imgtxt" + pic);
    var ellink = document.getElementById("link" + pic);

    if(overout == "over"){
        el.style.border = "solid 2px red";
        el.style.width = "150px";
        el.style.height = "112px";
        el.style.marginLeft = "-2px";
        el.style.marginRight = "-2px";
        el.style.marginTop = "-2px";
        el.style.marginBottom = "4px";
        eltxt.style.color = "red";
        ellink.style.backgroundImage = "url(images/index_background2.png)";
    }
    else{
        el.style.border = "solid 0px red";
        el.style.width = "132px";
        el.style.height = "100px";
        el.style.marginLeft = "9px";
        el.style.marginRight = "9px";
        el.style.marginTop = "9px";
        el.style.marginBottom = "9px";
        eltxt.style.color = "black";
        ellink.style.backgroundImage = "";
    }
}

function showBigPic(pic, width, height){
    document.getElementById("picture").style.width = width + "px";
    document.getElementById("picture").style.height = height + "px";
    document.getElementById("picture").style.visibility = "visible";
    document.getElementById("picture").innerHTML = "<img onclick=\"hideBigPic();\" alt=\"\" width=\"" + width + "\" height=\"" + height + "\" src=\"../images/" + pic + "_b.jpg\">";
}

function hideBigPic(){
    document.getElementById("picture").style.width = "400px";
    document.getElementById("picture").style.height = "300px";
    document.getElementById("picture").style.visibility = "hidden";
    document.getElementById("picture").innerHTML = "";
}