Ok. Gut! Danke! Hatte so etwas ähnliches im Hinterkopf. Nur es gibt Funktionen, wo man es nicht extra konvertieren muss. Hätte auch mit String(script.length(), DEZ) oder schlicht mit String(script.length()) funktioniert?

Jetzt können wir jedenfalls 2.5.2 weiter verwenden.