document.write('1389\n');