		<!--
			function getElement(o) {
				if (document.getElementById)
					return document.getElementById(o);
				else if (document.all)
					return document.all[o];
			}

		// -->