■ ( 5.824 .)