\ HVKI ) * 0 \.