Adding the source of hide_header.js