// This shouldn't be known since we haven't parsed that far yet.
var d = document.getElementById('div2');

if (d)
    failure = true;