<!--
	function hideErrorMsg(source, arguments)	{
		window.onerror=null;
		var err = document.getElementById('ErrorDiv')
		if (err != null) {
			err.style.display='none';
			err.style.visibility='hidden';
		}
	}
// -->
