var picture_name = new Array();
var number_pictures = 5;
var ran_pic1 = 0;
    
function RandomImage()
{
	ran_pic1 = Math.floor(Math.random()*number_pictures);
		
	window.document.pic.src = 'images/index' + (ran_pic1 + 1) + '.jpg';
}