haha and jaja

We have this chat program at work that's ostensibly for work. Of course, it helps facilitate getting in touch with certian people in other parts of the world or maybe just other parts of the office. However, there's always room for some humor and when I want to indicate amusement, I'll usually type 'haha' mostly because I have an irrational disliek of 'lol'. However, the Latin Americans at the office type 'jaja' which seemed strange at first but of course makes perfect sense.