so I just had sex but I used a condom so before I had a sex I didn't have no dots well when I got done I toke the condom off and I saw these 4 tiny red dots on my penis head what are these