<?php
print(intval("123")); print "\n";
print(intval("123.0")); print "\n";
print(intval("123WTF")); print "\n";
print(intval("WTF123")); print "\n";
?>