var cache_buster = (100*Math.random())
var scripSrc = '/javascripts/a.js?user_id=' + user_id_for_analytics + '&cache=' + cache_buster;

var ie = /*@cc_on!@*/0;

if(!ie && document.getElementsByTagName && (document.createElementNS || document.createElement)){
	var tag = (document.createElementNS) ? document.createElementNS('http://www.w3.org/1999/xhtml', 'script') : document.createElement('script');
	tag.type = 'text/javascript';
	tag.src = scripSrc;
	document.getElementsByTagName('head')[0].appendChild(tag);
}else if(document.write){
	document.write('<' + 'script type="text/javascript" src="' + scripSrc + '"><' + '/script>');
};