function chooseHeader(nums)
{
	var str = "url('../../../../../../../v1/resources/images/header/header" + nums[Math.floor(Math.random()*(nums.length))] + ".jpg')";
	document.getElementById('header').style.backgroundImage=str;
}