if (!(window.cart_menu_documentmousedownhandled))
{
	AddEventHandler(document,'mousedown',new Function('event','DocumentMouseDown(event)'));
	window.cart_menu_documentmousedownhandled = true;
}