Text this: Singapore stock option market /