StringLength["Hello world"]