$string='7';
 $num=int($string)"