WGS84UTM_TO_HK80GEO function

Convert WGS84UTM coordinates to HK80GEO coordinates