function changeTxt(txt) { 
    	if(document.getElementById){ 
        	document.getElementById('lyrics').innerHTML = txt; 
	} 
}