Kết quả khi thực hiện đoạn mã PHP sau là gì?

Kết quả khi thực hiện đoạn mã PHP sau là gì?

<?php

echo (int) "1234Yahoo5678";

?>

?php>