int(943412)