[4, 12, 7251]