document.write('1052\n');