document.write('1226\n');