Just wondering what ticker they are going to use: HAHA, LOLO, HHLL? Just for kicks lolo in my native language is grandfather.