423 00423 A common ending to bet with Han Kim