"5.142" . . .