/* for Internet Explorer */