int(7525)