( 7-omkr . half 10 .}