function counter() {
   return(761344);
}