int(940512)