int(7250)