document.write('5021\n');