document.write('1521\n');