beq-v k ' ' ti ,het