The galactic distribution of OH/IR stars