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