function change_big_picture(el_img_mini)
{
	var new_name = el_img_mini.src.replace('_mini', '');
	$(el_img_mini).getParent().getElements('img.big')[0].src = new_name;
}