function change_pic(name){
	pic = document.getElementById('big_pic');
	pic.src = '';
	pic.src = 'images/'+name;
}