io.open(); 
var str = "水的熔点为 32℉，沸点为 212℉。"; 
str = string.replace(str, "([\d+\.]+?)℉", function (v1) { 
    v1 = tonumber(v1); 
    return (v1 - 32) * 5 / 9 + "℃"; 
}); 
io.print(str);