ops, hai ragione, non mi ero reso conto di avere un
echo "<pre>" prima del system(ping).
pensavo che il system(ping) stampasse di suo