document.write('5056\n');