index_header.js for ie