document.write('5022\n');