8 5 47 7 { 859