function changePic(newPic) {
    document.getElementById('bigimagesrc').src='/images/' + newPic
    return false
}