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