document.write('50536\n');