<!--

	/*-----------------------------------------------------------------------------------------------------------
	|
	|															general
	|
	-----------------------------------------------------------------------------------------------------------*/

		// make 'document.getElementById' work for all browsers
		if (!document.getElementById)
		{
			document.getElementById = function(strID)
			{
				if (document.layers) return document[strID];
				if (document.all) return document.all[strID];
				return null;    // expect the unexpected
			}
		}

//-->