function setScrollTopForDocument(doc, value) {
  doc.documentElement.scrollTop = doc.body.scrollTop = value;
}
function setScrollTopForDocument(doc, value) {
  doc.documentElement.scrollTop = doc.body.scrollTop = value;
}
function setScrollTopForDocument ( doc , value ) { doc . documentElement . scrollTop = doc . body . scrollTop = value ; }
Alias for document.scrollTop setter.
@param {!HTMLDocument} doc The document node where information will be
queried from.
@param {number} value The target Y scroll offset.
Alias for document . scrollTop setter .
Set the scrollTop of a document