document.write('1072\n');