Courant 67 ; Rubel 3 , 570;