帝国CMS点击量onclick的数值过万时,换成万为单位的方法

比如：点击量的数值过万时怎样变成 如： 10009变成1.09万找到显示点击量的地方换成如下代码，下面是内容模板使用的代码：<?=$navinfor[onclick]>=10000?($navinfor[onclick]/10000)."万":$navinfor[onclick]?>