^ , 4 ' 42 .)