$lon = $x;
$lon *= 20037508.34 / 180;
$lon = round($lon, 6);
//$lat = base64_decode($json['y']);
//$lat = $y * 2 - $lat;
$lat = $y;
$lat = log(tan((90 + $lat) * pi() / 360)) / (pi() / 180);
$lat *= 20037508.34 / 180;
$lat = round($lat, 7);
$lonlat = 'POINT(' . $lon . ' ' . $lat . ')';
$lon *= 20037508.34 / 180;
$lon = round($lon, 6);
//$lat = base64_decode($json['y']);
//$lat = $y * 2 - $lat;
$lat = $y;
$lat = log(tan((90 + $lat) * pi() / 360)) / (pi() / 180);
$lat *= 20037508.34 / 180;
$lat = round($lat, 7);
$lonlat = 'POINT(' . $lon . ' ' . $lat . ')';