WGS84GEO_TO_HK80GEO function

Convert WGS84GEO coordinates to HK80GEO coordinates