<?php $a = "12"; settype($a, 'int'); var_dump($a);
You have javascript disabled. You will not be able to edit any code.