A firm has 12,500 shares of stock outstanding that sell for $42 each. The book value of equity is $400,000. The firm has also issued $250,000 face value of debt that is currently quoted at 101.2. What value should be used as the weight of equity when computing WACC?