document.write('7996\n');