document.write('8496\n');