After sex,there was vaginal
secretion on the top of condom ,and the condom touched my leg ,so there was some
secretion left on my leg ,and i noticed that the vaginal secretion was a little bit red , seems contain blood ,She told me that she was suffering from cervicitis, and my glans accidentally touched the secretion after i took off the condom ,i was scared ,then I went to the bathroom to wash my penis immediately, how is the risk of HIV?