I went to my favorite ATM that has the 1000 HKD bills, but I forgot that this is salary weekend, so of course it was out of them.