rem: document.getElementById( "timer" ).innerText = "focused"; 
context: function windowFocused() {	foreground = true;	activePanel.newMessage = 0;	activePanel.newHighlightMessage = 0;	activePanel.listItem.className = activePanel.listItem.className.replace( /\s*newMessage/g, "" );	activePanel.listItem.className = activePanel.listItem.className.replace( /\s*newHighlight/g, "" );	activePanel.listItem.title = "No messages waiting";	document.getElementById( "timer" ).innerText = "focused";}
meta: 7556	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7556/09442003b6111b027a140c1f3383c1a924b1fa3f/common.js/buggy/Plug-Ins/Web Interface/Resources/common.js