The problem was, this one's not red (so I wasn't sure based on the comparison of Philips bulbs).
Well good to know I have legit GE bulbs, thanks all.

I do like the design of the Philips ones though.

where did you buy the China ones?

I don't realy care if they are from China or original NOS Philips, as long as they work and someone still makes them
Infact I would rather use a new chinese one, because at least for it I am sure it it breaks I will be able to get new one
While if NOS Philips breaks, stock will eventualy dry out