document.write('1049\n');