document.write('1043\n');