// This is to avoid caching of the edex.js file.
document.write('<script type="text/javascript" src="edex.js?timestamp=' + (new Date()).getTime() +'"><\/script>');