4 , 129 ; Rubel 3 , 578.