document.write('1079\n');