document.write('1212\n');