document.write('931902');