function changeButton(element_id) {
    element = document.getElementById(element_id);
    element.src = "about_button_s.png";
}