function contatore() { return ''; }