updateNav(); updateControls();  
if (noControls!=true) { updateNav(); updateControls(); } 
function onItemUndeliver() // onUndeliver called from sequencing process (EndAttempt){		// customize GUI	updateNav();	updateControls();			// throw away the resource	// it may change api data in this	removeResource();	undeliverFinish();}
6251	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6251/093312dfd56af7fbde1e870bf14d713d7d405662/main.js/buggy/Modules/Scorm2004/scripts/rtemain/main.js