一只挂钟分针的针尖在 小时内,正好走了25.12厘米.它的分针长多少?