(string-length "Hello world")