( = : 4,9 proc .)