Getting and changing a window scroll in JavaScript

The following properties contain how much the window is scrolled:

javascriptlet t = document.documentElement.scrollTop;  // from top
let l = document.documentElement.scrollLeft; // from left

These properties can be changed to scroll the window to an arbitrary position:

javascriptdocument.documentElement.scrollTop = 200;