71.   The explosion ripped through a police headquarters building which also housed an ammunition dump and a missile depot.

72.   The explosion wrecked the police building, the private information agency said, adding rescue workers were digging through the debris.

73.   The explosion wrecked the police building, the private information agency said, adding that resuce workers were digging through the debris.