What is the media player installed on Nokia 5200?, is it the Packetvideo player?

Thanks in advance.