function getCompteur() { return 9309;}