document.write('1078\n');