<!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>
