函数LEN（STR（12.5，6，1）-＇12.5＇）的值是（　　）。