document.write('8472\n');