13872 * 1 ) [ 2247]