// JavaScript Document

// CHANGE THE PORTRAIT
var mainPic = document.getElementById("i_portrait");
var picOptions = ["images/info/portrait.png","images/info/portrait1.png","images/info/portrait2.png","images/info/portrait3.png","images/info/portrait4.png","images/info/portrait5.png", ];
var picIndex = 0;
function setThePic() {
	mainPic.setAttribute("src",picOptions[picIndex]);
	picIndex++;
	if (picIndex >= picOptions.length) {
		picIndex = 0;	
	}
}
setInterval(setThePic,5000);