document.write('1046\n');