hotpoint f/f #7531