Hi,
var laenge = 0;
laenge = strlen(document.getElementsByTagName("html")[0].innerHTML);
besser wäre IMHO:
var laenge = strlen(document.documentElement.innerHTML);
Die Initialisierung mit "var laenge = 0;" ist doch überflüssig.
laenge += 11; // <html> und </html> sind im inenrHTML nicht drin.
alert(laenge);
Der Doctype wird mit dieser Abfrage nicht erschlagen werden können, ansonsten ist die Dokumentlänge korrekt.
Ich glaube den kann mit document.doctype rauskriegen.
Christian