if (s && s.nodeType===1) return s; 
	var all = this.all = function (s, w) 	{		if (!w) 		{			w = window;		}		return w.document ? w.document.getElementById(s) : null;	};
6251	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6251/02b1b8d25ec3768079b8e0a010d07cf7e2e12427/gui.js/clean/Modules/Scorm2004/scripts/gui.js