<!DOCTYPE html>
<html class="reftest-wait">
	<head>
	    <title>menclose top</title>
	    <script type="text/javascript">
	        function doTest() {
	            document.getElementById('testMenclose').setAttribute("notation","top");
	            document.documentElement.removeAttribute("class");
	        }
	        window.addEventListener("MozReftestInvalidate",doTest, false);
	    </script>
	</head>
	<body>
	    <p>
	       <math><menclose id="testMenclose"><mspace width="100px" height="50px"></menclose></math>
        </p>
	</body>
</html>