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