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

比如：点击量的数值过万时怎样变成 如： 10009变成1.09万

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