// JavaScript Document

function showPic (whichpic) {     
    if (document.getElementById) {         
        document.getElementById('big_pic').src = whichpic.href;
        return false;     
    } else {         
        return true;     
    }
}