" : r 39 , 40;