// fixed bug caused by PHP