function enter_button(img_name){
 document.images[img_name].src = '../images/etc/'+img_name+'_over.gif';
}

function leave_button(img_name){
 document.images[img_name].src = '../images/etc/'+img_name+'_normal.gif';
}