echo strlen("Hello world!");