document.write('1382\n');