document.write('5860\n');