a := (when c <> 12 do 6)
