function catchEvent(evnt)
	{
		if (typeof(evnt) == "undefined")
			return parent.processEvent(window.event, window);
		else return parent.processEvent(evnt, window);
	}