set adr0 "24.95.75.87:27911"		//
set adr1 "207.3.64.42:27915"		//
set adr2 "208.20.78.50:27913"		//
set adr3 "209.180.249.51:27910"		//
set adr4 ""		//
set adr5 ""		//
set adr6 ""		//
set adr7 ""		//
set adr8 ""		//
set adr9 ""		//

echo bind f4 exec adr1.txt
bind f4 "exec adr1.txt"