rem: document.getElementById( "timer" ).innerText = "blured"; 
context: function windowBlured() {	foreground = false;	document.getElementById( "timer" ).innerText = "blured";}
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