What kind of currency is used in the buying and selling of silicon real estate?