<?php
function formatNumber($number, $pad) {
    $padded_number = str_pad($number, $pad, '0', STR_PAD_LEFT);
    $arr = array();
    $count = strlen($padded_number);
    for($i = $count - 1; $i >= 0 ; $i--) {
        if($i == $count - 1){
            array_push($arr, "0", "0", ".");
            array_push($arr, $padded_number[$i]);
        }
        elseif(($count - $i) % 3 == 0 && $i != 0){
            array_push($arr, $padded_number[$i]);
            array_push($arr, ",");
        }
        else{
            array_push($arr, $padded_number[$i]);
        }
    }
    $joined = join("",$arr);
    $reversed = strrev($joined);
    return $reversed;
}
$number = "0012350";
$result = formatNumber($number, 15);
echo $result; 
?>