$x = 5985;
var_dump($x);