// JavaScript Document
<!--
function switch_img(img_id,source){
  document.getElementById(img_id).src = source
}

-->