No definition exists for 872