function roll_over(img_name, img_src){
   document[img_name].src = "img/"+img_src;
}