function fancyHeader()
{
	var aH1 = document.getElementsByTagName( "h1" );
	for ( var i = 0; i < aH1.length; ++i )
		if ( aH1[ i ].innerText )
			aH1[ i ].innerHTML = "<img src='/media/images/headers/" + aH1[ i ].innerText.toLowerCase().replace( /[^a-z0-9_]+/g, "" ) + ".gif' src='" + aH1[ i ].innerText + "' />";
};