function mouseOverHeaderImage(number)
{
	document.getElementById('header' + number).src='images/header' + number + '-mo.gif';
}

function mouseOutHeaderImage(number)
{
	document.getElementById('header' + number).src='images/header' + number + '.gif';
}