isset($_POST['num']) al posto dell'empty dovrebbe andare
Tra cinquecento anni non importerà più a nessuno!
Regole del Forum