<?php
echo (int)("Hello PHP" != false); // يطبع 1
echo '<br>';
echo gettype((int
)"Hello PHP"); // يطبع "integer"
PD9waHAKZWNobyAoaW50KSgiSGVsbG8gUEhQIiAhPSBmYWxzZSk7ICAvLyDZiti32KjYuSAxCmVjaG8gJzxicj4nOwplY2hvIGdldHR5cGUoKGludCkiSGVsbG8gUEhQIik7ICAgIC8vINmK2LfYqNi5ICJpbnRlZ2VyIiA=