~ 31 / ,proc