document.write('1536\n');