Orange County housing lost 13 million-dollar ZIP codes in 6 months