Krev v puse

Dobrý den, dnes sem na tréninku juda bojoval s klukem, kterému chvilku malinko tekla krev z nosu pokud by se mi jeho krev dostala do mé pusy což si myslím ze se nestalo ale kdyby se to stalo mohl sem se takhle nakazit Hiv ? V puse sem žádnou ránu krvacejici neměl(možná jen úplně malinkou oderku ale na sem si téměř jistý ze ne) . Mel bych zajít za doktorem? Děkuji za odpověď.