requires("1.30i"); s = "012345"; print("s = \""+s + "\""); print("lengthOf(s): "+lengthOf(s)); print('substring(s, 0, 2): "' + substring(s, 0, 2) + '"'); print('substring(s, 2, lengthOf(s)): "' + substring(s, 2, lengthOf(s)) + '"'); for (i=0; i