replace homegrown hashcode; works better than dart's :-)