function changeImg(filename) {
    document.getElementById("art_img").innerHTML = "<img src=\"" + filename + "\">"; 
}