function changepicOver(imgid)
{
    if (imgid == "01" || imgid == "02" || imgid == "03") {
        document.getElementById("pic" + imgid).src = "images/index" + imgid + "_hover.jpg";
    }
}

function changepicOut(imgid) {
    if (imgid == "01" || imgid == "02" || imgid == "03") {
        document.getElementById("pic" + imgid).src = "images/index" + imgid + ".jpg";
    }
}