Re: ThreadId to Int