document.write('931942');