function statistiche() { document.write(' ') document.write(' ') document.write(' '); }