<!DOCTYPE html>
<html>
<body>
<?php
$a = "1234.56789";
echo doubleval($a) . "<br>";
$b = "1234.56789Hello";
echo doubleval($b) . "<br>";
$c = "Hello1234.56789";
echo doubleval($c) . "<br>";
?>
</body>
</html>