( gifver 13 proc .)