function changeimg1(src) {
document.getElementById("ch_img1").src = src;
}