动态加载JS

<script>
    Date.prototype.format = function(format) {
        var o = {
            "M+" : this.getMonth() + , //month
            "d+" : this.getDate(), //day
            "h+" : this.getHours(), //hour
            "m+" : this.getMinutes(), //minute
            "s+" : this.getSeconds(), //second
            "q+" : Math.floor((this.getMonth() + ) / ), //quarter
            "S" : this.getMilliseconds()
        //millisecond
        }
        if (/(y+)/.test(format))
            format = format.replace(RegExp.$, (this.getFullYear() + "")
                    .substr( - RegExp.$.length));
        for ( var k in o)
            if (new RegExp("(" + k + ")").test(format))
                format = format.replace(RegExp.$, RegExp.$.length ==  ? o[k]
                        : ("" + o[k]).substr(("" + o[k]).length));
        return format;
    }
    var dt = new Date().format('yyyyMMddhhmmss');
    document
            .write("<script type=\"text/javascript\" src='${ctx}/jslib/js/AtmMap.js?"
                    + dt + "'><\/script>");
</script>