int(1142427)