phpで文字を数値に変換する関数って何でしょうか？