Update VersionAsInt.html