function change_image(number)
{
	
	if(document.all)
	{
		obj = document.getElementById(big_image);
		document.all.big_image.style.backgroundImage = 'url('+big_images[number]+')';
	}
}