document.write('5842\n');