Consider two functions f(x) and g(x). If we know that:
f(23) = 37
f(17) = 95
g(17) = 23
g(95) = 25
...then what is the value of the product of 2.5 and f(g(17))?