<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN"
	"http://www.w3.org/TR/html4/strict.dtd">
<html lang="en-US">
<head>
	<title>Test that counter names are case sensitive (bug 416106)</title>
	<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>

<div>1-5</div>
<div>1-7</div>
<div>1-7</div>
<div>2-7</div>
<div>2-9</div>
<div>2-9</div>

</body>
</html>