codice:
$num_format = isset($_POST['variabile']) && trim($_POST['variabile']) != "" ? sprintf("%09d", intval($_POST['variabile'])) : false;