Interesting. I didn't know the ~~ trick. Thanks.