document.write('2562\n');