Batuk-batuk ketika teriak&tertawa

Hai bun, saya mau tanya. Kan anak saya umur 7 bulan, dia suka batuk2 ringan gitu saat teriak2 atau tertawa, tapi ketika sedang diam ya tidak batuk2. Itu kira2 kenapa ya? Apakah harus dibawa ke dokter?