../../Task/String-length/Seed7