#HowTo get the keys of a dict in python?