var swapingImages = new Array(
	"images/header_Schools01.jpg",
	"images/header_Schools02.jpg",
	"images/header_Schools03.jpg",
	"images/header_EmpBen01.jpg",
	"images/header_EmpBen02.jpg",
	"images/header_EmpBen03.jpg",
	"images/header_Comm01.jpg",
	"images/header_Comm02.jpg",
	"images/header_Comm03.jpg",
	"images/header_Pers01.jpg",
	"images/header_Pers02.jpg",
	"images/header_Pers03.jpg",
	"images/header_Cont01.jpg",
	"images/header_Cont02.jpg",
	"images/header_Cont03.jpg",
	"images/header_Muni01.jpg",
	"images/header_Muni02.jpg",
	"images/header_Muni03.jpg",
	"images/header_Law01.jpg",
	"images/header_Finance01.jpg"
);

function swapPic() {
	randomNum = Math.floor(Math.random() * swapingImages.length);
	document.rotate.src = swapingImages[randomNum];
}