' 0 72 .)