context: function closeMainMenuSubWindow (windowName){	// Helper function that disables the dark background mask, then hides a given subwindow object.	guiHide		("pgSubWindow");	guiHide		(windowName);}
meta: 1070	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1070/41d522c9a17d716881481aa7622d799b7139f7de/functions_page_pregame.js/clean/binaries/data/mods/official/gui/test/functions_page_pregame.js