document.write('5020\n');