function changePageImg(newImg) {
    if (newImg!="") {
        window.document.getElementById("page_image").src = newImg;
    }
}