call hash(), not __hash__()