4235kg是9337.3斤。

因为1kg等于2.20462斤，所以我们可以用4235乘以2.20462得到9337.3斤。

另外，斤是中国特有的计量单位，而国际通用的计量单位是千克，所以在国际上常用千克来计算重量。