var rotIndex = -1;
var rotImages = new Array(
	"/wp-content/uploads/2010/05/westturm-panorama1.jpg",
	"/wp-content/uploads/2010/05/westturm-panorama2.jpg",
	"/wp-content/uploads/2010/05/westturm-panorama.jpg"
);

jQuery(document).ready(function(){
	var rotInterval = window.setInterval('imgRotate()', 4000);
})

function imgRotate(){
	rotIndex++;
	if(rotIndex > rotImages.length-1) rotIndex = 0;
	jQuery('#panorama_rotate').attr('src', rotImages[rotIndex]);
}