echo str_pad(7.125, 9, '0', STR_PAD_LEFT);