document.write('9802\n');