
// JavaScript Document
d = document;


function switch_image(id,new_src){
	
	d.getElementById(id).src=new_src;
	
	}