added history.js for IE9 support