It's ironic that "funny" is people laughing out loud and "lol" is "funny" (read: odd) things.