A quick script to get all the hex identifiers for raspberrypi.org Pi3 servers

pi3-hex.py

import urllib2

def find_between( s, first, last ):
    try:
        start = s.index( first ) + len( first )
        end = s.index( last, start )
        return s[start:end]
    except ValueError:
        return ""

hexes = []
while len(hexes) < 8:
	page = urllib2.urlopen('https://www.raspberrypi.org')
	hex = find_between(page.info().headers[7], 'Pi ', '\r\n')
	if hex not in hexes:
		hexes.append(hex)
print hexes