document.write('1042\n');