// JavaScript Document
function randomHeaderImg()	{
	var headerImgz = new Array("header_01","header_02","header_03","header_04","header_05","header_06","header_07");
	headerImgz.sort(function() {return 0.5 - Math.random()}) 
	for (var i = 0; i < headerImgz.length; i++)	{
		document.write("<img src='/media/images/common/secondary_header/"+headerImgz[i]+".jpg' />");
	}
}
