document.write('1218\n');