<!--
function change(element, action)
{
    pic = document.getElementById(element);
    pic.src = "images/research/seam-carve/" + element + "-" + action + ".jpg";
}
//-->