document.write('1047\n');