rem: var url = document.getElementById("url").value; 
add: var urlwidget = document.getElementById("url");  if (!urlwidget) url = "http: else url = urlwidget.value;  
context: function loadUrl() {    var url = document.getElementById("url").value;    dump("Loading " + url + " into " + parent.window.frames["srcdoc"] +"\n");    var win = window.frames["srcdoc"];    win.location=url;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/887f7f131f511fc06e7075b62b48bbeae8e09300/DOMDataSourceViewer.js/clean/rdf/tests/domds/resources/DOMDataSourceViewer.js