derivative of house coin (DOHC)