document.write('21284\n');