document.write('1406\n');