getElementById
document.getElementById("someid");
Grepper
document.getElementById("someid");
document.getElementById("YourElementId");
var myElement = document.getElementById("intro");
document.getElementById("some_id");
var myElement=document.getElementById("someElementID");
const elem = document.querySelector('#protip');