document.write('1044\n');