int(42250)