document.write('1331\n');