static const int myrev = 38817;