function vergroot(src){document.getElementById("big").src=src;}