document.write('1252\n');