// JavaScript Document
function photo_change(aaa){
    document.getElementById("main_photo").src = "images/" + aaa;
}