function change_pic(o,pic,src){
	if(document.getElementById(o)){
		document.getElementById(o).src = pic;
	}
}