document.write('3932\n');