function change_pic(name_pic,name_file)
{
	document.getElementById(name_pic).src=name_file.src;
}