(document.commandDispatcher.focusedElement != nostalgy_folderBox)) { NostalgyHide(false); } 
(focused != nostalgy_folderBox) && (focused != nostalgy_folderBox.inputField)) { NostalgyHide(false); } 
function NostalgyHideIfBlurred() {  setTimeout(function (){    if ((!nostalgy_statusBar.hidden) &&         (document.commandDispatcher.focusedElement != nostalgy_folderBox))    { NostalgyHide(false); }  }, 500);}
5720	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5720/c89dc652bc003466c411dbd9ecc915386ffa152d/nostalgy.js/clean/content/nostalgy.js