function change(num){
	if(num==0)
		document.site_map.src="images/location/prop_logo.gif";
	if(num==1||num==2||num==3)
		document.site_map.src="images/location/"+num+".jpg";
	
}