var ticker;
var picNumber = 0;
function setTicker()
{
	ticker = setInterval("changePic()", 5000);
}
function changePic()
{
	picNumber++;
	if (picNumber == 5)
		picNumber = 1;
	var pic = document.getElementById("slidePic");
	pic.src = "html_image_slide/image" + picNumber + ".jpg";
}