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

可以用：

<?=$navinfor[onclick]>=10000?($navinfor[onclick]/10000)."万":$navinfor[onclick]?>