var isHover = false;
var masterTimeout;
$(document).ready(function() {
		setInterval("NewThumb();", 4500);
		$(".pics").hover(function(){isHover = true;}, function(){isHover = false;});
});
	function NewThumb() {
		if (!isHover) {		
			var thumbs = $(".rotation");
			var currentMargin = parseInt(thumbs.css("marginTop").replace("px", ""));
			thumbs.animate({
				"marginTop": (currentMargin - 120)
			}, "medium", switchThumbs);
		}
	}
	function switchThumbs() {
		$(".rotation").css("marginTop", 3);
		$(".rotation .pics:lt(1)").appendTo(".rotation");	
	}