4257 grams = 9.385086 pounds