PYTHON: Write a function, named sum$\_$all$\_$JSON$\_$numbers that takes a string with a JSON object as its contents. The function should return the sum of every JSON number in the string.

Example

input$\_$string $=\text{'}\{"$name$"$:"josh", "age":$31,$ "instructor":true, "degree dates": $[2005,2006,2013],$ "pets":$["$CrashDown$",$ "Ghost", "RaceTrack", "Dany"$]\}\text{'}$

result $=$ sum$\_$all$\_$JSON$\_$numbers$($input$\_$string$)$ # should be $6055$