rem: document.title='Search finnished'; 
context: function hideResultBox() {	var resultBox;	resultBox = document.getElementById('resultBox');	resultBox.className = 'resultBoxHidden';	document.title='Search finnished';	resultboxVisible=false;}
meta: 7119	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7119/556d68efdfbfd2264821a508e1819795e9e13402/composeMessage.js/buggy/felamimail/js/jscode/composeMessage.js