function setImage(num,image)
{
	document.getElementById('big_image').src=image;
	
	var imgs=document.getElementById('small_images').getElementsByTagName('img');
	for(var i=0;i<imgs.length;i++)
	{	
		if (imgs[i].id=='img_'+num)
			imgs[i].className = 'select';
		else
			imgs[i].className = '';
	}
}