int(942512)