<?php
	$x = (int)'042';
	echo($x);
?>