String.length "Hello world" ;;