python hash string to int