isset($_POST['num']) al posto dell'empty
dovrebbe andare