function gotoIE () { location.href='../../../code/news_ie.html?val='+document.location }