问题描述：（男 , 4岁）我有一个同事，他的宝宝已经四岁了，最近他发现，他的宝宝脖子上总是有红点，开始还以为是上火了，后来发现不是，有点可怕，所以问一下宝宝的脖子上面出了一些红色的小豆豆是什么？