"5.172" . . .