function getCounter() { return '412552'; }