12 , 30 ; 1 , s9;