แปลงตัวหนังสือเป็นตัวเลข

<?
  $str="123abc"; //string
  $val=(int)$str; //integer
  echo $val;
?>