What is #8.253 -: 0.5#?