Originally Posted by abhilife2001

Hi,
The domestic and international are in the same terminal building on different ends.. 4 hrs is enough time for them to clear immigration, pick bags and then go to domestic side. Basically after customs, they have to turn right and there are escalators going to the departure level..