document.write('1410\n');