This was at the domestic terminal, not the international area.

The current domestic terminal was opened in 1976, and has been expanded several times since then.

Note that the domestic terminal is nowhere near the international.

The fourth and current domestic terminal was opened on 15 November 1994.

Until recently, the airport consisted of an international and domestic terminal.

On 2 December 2007, the domestic terminal was damaged by another fire.

A combined domestic and international terminal has recently opened, on October 2006, following two years of construction works.

Prior to this, all flights (including international ones) used what is now the domestic terminal.

The airport consists of an international and a domestic terminals.

The airport has two international terminals and one domestic terminal.