php - whats the time format of this weird date value -

I am working in php with an XML file and my concern is in the date field. This is preferred by XML output.

  & lt; End time & gt; 142729 5540000 & lt; / Endtime & gt;  

I have a hard time trying to identify the format of this time, and how to change it to something like 2015-05-11 12:00:00 . Please help

  $ input = 14272 9 5540000/1000; // Because we want seconds, but get milliseconds, then divide by 1000 echo dates ("Y-M-DH: I: S", $ input);  

You can divide the value of 1000 to the end time, because we need seconds in php and then it will be in the form of a flaste argument with the correct format date The second argument of the function must be given as