int(7942)