var defaultTexts = new Array(); window.onload = function(e) { var sections=get_sections(); for(var i=0;i