Hello,
It seems the documentation for 'SetTicketProperties' was copied and pasted from 'GetTicketProperties' and was never modified. SmarterTrack does not currently have functionality to change the TicketNumber of a ticket. The documentation has been corrected for future SmarterTrack versions.
Thank you,