[exec]

location.href = "foo.html";