You would know if you asked them to take taxes out of the sale. So if not then leave box 4 blank. The taxes withheld at work was when the employer gave you the shares and the cost was part of your income on your W2.
