var benchmarks = [];
function benchmark(description, start, end)
{
    if(window != top) {
        top.benchmark(description, start, end);
    } else {
        //if we modified the body innerHTML, would trigger another download of testframe source.
        document.getElementById('results').innerHTML += description + ': ' + (end-start) + '<br/>';
    }
}
