document.write('21294\n');