/**
 * @author Timo Paul (timo.paul[at]subsist.de)
 * @since 15. August 2007
 *
 * simple listener for the mouse-actions when main-menu is open.
 * it will be closed if the mouse go outside
 */
function checkMainMenu(ereignis)
{
	if (document.getElementById) {
		obj = document.getElementById('mainMenu');
	} else if (document.all) {
		obj = document.all.mainMenu;
	}
	if (open > 0) {
		if (!ereignis) {
			ereignis = window.event;
		}
		if (ereignis.pageX) {
			posX = ereignis.pageX;
			posY = ereignis.pageY
		} else if (ereignis.clientX) {
			posX = ereignis.clientX;
			posY = ereignis.clientY;
		}

		objX = obj.offsetLeft;
		objY = obj.offsetTop;
		objW = obj.offsetWidth;
		objH = obj.offsetHeight
		if (posX < objX ||
			posX > objX + objW ||
			posY < objY ||
			posY > objY + objH) {

			mySlide.slideOut();
			open = 0;
		}
	}
}