gps原始数据转wgs84

　　//gps转wgs $a=12012.452136
    public static function gps2Wgs($a)
    {
        return floor($a / 100) + fmod($a, 100) / 60;
    }