it's a bit complicated... basically the 12 times the 1st digit
and 2 times the 2nd digit must be a multiple of 19. since it must
be even, it will have to be a multiple of 38. from this, it
means....
ET1142C (deregistered)
ET4242C 
ET7342C (deregistered)