Where did "blue 42" originate?