I am thinking to buy separate tickets from Doha to Bangkok and Bangkok to Phuket. How long I should reserve time to wait for luggage, go through the immigration, go to domestic terminal and check in to next flight. My first flight will arrive at 12:30. And I am wondering what flight I should buy for BKK-HKT. There seems to be flights like every hour.