37 ( 5 , 393 , - 144 , 580 , 847 , 959 ; 13 , 02« ; 277 , 443 , 872 , 914 , 992;