я не спрашивал, что об этом написано в спецификации, действительно ли вы уверены, что id нельзя начинать с цифры?
Т.е по вашему, ниже приведенный код работать не будет?
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<title></title>
</head>
<body onload="alert(document.getElementById(1).innerHTML)">
<div id=1>мда :)</div>
</body>
</html>