function change_img(ID,ClassName) {
 document.getElementById(ID).className=ClassName;
}