hardcode big numbers