function keinfehler()
	{
	window.onerror=null;
	}