Searched refs:global_section (Results 1 – 1 of 1) sorted by relevance
1453 function global_section(parent) { function1515 var global = new global_section(document.getElementById('global_section'));