document.write('7987\n');