11807 ) ( 0831 .)