20010816 unknown: Lankan casinos run out of luck