def getElementById(id):
    JS("""
    var elem = $doc['getElementById'](@{{id}});
    return elem ? elem : null;
    """)
Return the element in the document's DOM tree with the given id.
dataset/ETHPy150Open pyjs/pyjs/pyjswidgets/pyjamas/DOM.browser.py/getElementById