function change_image(img_element, img_name) { 
    img_element.src = "images/" + img_name + ".png"; 
    return true;
}