function GetCounter() { return 711709; }