pin = int( htmlpage.encode("hex"), 16 ) % 10000