[ prime23 ] > _