setting VERSION to 80501