function changePicture(a)
{
	var pic = document.getElementById('slideImage');
	pic.src = "static/img/mockup-slide"+a+".jpg";
	picId = a;
	
	for(x = 1; x < (maxImages+1); x++)
	{
		var ahref = document.getElementById('button'+x);
		if(x == a)
			ahref.setAttribute("class", "button sel");
		else
			ahref.setAttribute("class", "button");
	}
}

var picId = 0;
var maxImages = 4;
document.observe("dom:loaded", function() {
	autoChange();
});

function autoChange()
{
	changePicture((picId*1)+1);
	if(picId == maxImages)
		picId = 0;
	setTimeout ("autoChange()", 5000 );
}