Title: Rotational energy transfer in hydrogen halides