<?php

// List of servers
$servers = array(
			// FF03
			'ARCHIVE01',
			'ARCHIVE03',
			// FF04
			'ARCHIVE02',
			// FF05
			'FF05D01',
			'FF05D02',
			'FF05D03',
			'FF05D04',
			'FF05D05',
			// FF06
			'FF06D01',
			'FF06D02',
			'FF06D03',
			'FF06D04',
			'FF06D05',
			'FF06D06',
			'FF06D07',
			'FF06D08',
			// FF07
			'FF07D01',
			'FF07D02',
			'FF07D03',
			'FF07D04',
			'FF07D05'
		   );