"HAR"@mul . "4"^^ . "2"^^ . . . . . . . . .