int(10042)