document.write('21271\n');