top.TOP_MODULE && document.writeln('</div>');

/*
if(!top.TOP_MODULE) { //temporary until ui update for single file outputs
    var page = document.location.href.replace(/\\/g,'/');

    if(page.length > 0) { 
        self.document.writeln('<script language="javascript1.2" type="text/javascript" src="/documentation/docui_a/user_comments_old/showcomments.php?url=' + page + '"></script>'); 
    }
}
*/