hals 9 vch hals 12 , e. n .