' 12 , 093 .)