int(42500)