What is the code number for the storm trooper Han Solo steal the suit of

I don't know han's but luke's is TK-421

I could be wrong, but I think I read in the book that it was THX-1138, the name of Lucas' first film. But that could have been Luke's stormtrooper. I don't remember.