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