document.write('1036\n');