Put options
Proceeds from exercise of employee share options
Sold currency options
Options
Purchased currency options
Currency options