document.write('21612\n');