function over_img(nr){
document.getElementById('img_'+nr).src='/images/but'+nr+'_over.png';
}
function not_over_img(nr){
document.getElementById('img_'+nr).src='/images/but'+nr+'.png';
}