var images = new Array("rotate-desking.jpg", "rotate-reception.jpg", "rotate-seating.jpg", "rotate-executive.jpg");
var arrayindex = 0;

function rotateimg()
{
	arrayindex ++;
	if(arrayindex == 4)
	{
		arrayindex = 0;
	}
	document.getElementById("rotate").src = "images/banners/rotate/"+images[arrayindex];
}