function roll_over(id, img_src){
  document.getElementById(id).src = img_src; 
}