function changeImg(image) {
    var floatimg = document.getElementById("floatimg");
    floatimg.setAttribute("src", image);
}