jQuery が使われていなかったら挿入するというもの
if (typeof jQuery == 'undefined') {
var j = d.createElement('script');
j.type = 'text/javascript';
j.src = 'https://ajax.googleapis.com/ajax/libs/jquery/1/jquery.min.js';
d.body.appendChild(j);
j.onload = l } else { l() } })(document);