import codec.base64.standard as base64 import codec.json as json function to_timestamp(t) @begin return base64.encode(json.to_string(json.from_var({ "year": t.year, "day" : t.yday, "hour": t.hour, "min" : t.min }.to_hash_map()))) @end end function from_timestamp(t) return json.to_var(json.from_string(base64.decode(t))) end var str = to_timestamp(runtime.local_time()) var obj = from_timestamp(str) system.out.println(to_string(1900 + obj.year) + "年" + obj.day + "日" + obj.hour + "时" + obj.min + "分") system.out.println(str)