fTicketNumber
uint32 fTicketNumber;
return fTicketNumber;
fTicketNumber = ticketNumber;
fTicketNumber = 0xFFFFFFFFUL;