The Polisario troops (of the Sahrawi People's Liberation Army (SPLA) in the area are divided into seven "military regions", each controlled by a top commander reporting to the President of the Polisario proclaimed Sahrawi Arab Democratic Republic.[8] The total size of the Polisario's guerrilla army present in this area is unknown. Some sources claim between 3,000–6,000 men,[9] while others rise the number up to 12,000,[10] with additional combatants stationed in Algeria, Mauritania or having been demobilized due to the cease-fire. These forces are dug into permanent positions, such as gun emplacements, defensive trenches and underground military bases, as well as conducting mobile patrols of the territory.[11]