Python Hashmap.get