function riaheader(){ var riaheader=document.getElementById('riaheader'); if(riaheader){ riaheader.innerHTML="