Compute the net book value of the buildings & equipment sold in x4: