// JavaScript Document
function setHeaderInformationText( text )
{
	if( text != '' )
	{
		document.getElementById( 'Information' ).innerHTML = '[ ' + text + ' ]';
	}
	else
	{
		resetHeaderInformationText( text );
	}
}
function resetHeaderInformationText()
{
	document.getElementById( 'Information' ).innerHTML = '';
}