'; echo gettype((int)"Hello PHP"); // يطبع "integer"