function onShow() { 
function onShow() { 
function onShow() {  	sizeList();    if (!shown) {        // View is being shown for the first time        loadChildren("");        shown = true;    }  }
10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10107/fcb9195aa931c915ca7ad808029be0804d138e78/indexView.js/buggy/org.eclipse.help.webapp/advanced/indexView.js