Implement document.getElementById().