document.write('1225\n');