I'll attach it in a text file, try copy and pasting it from there.
Edit
Or try this minified version.
Code:
<script type="text/javascript">setInterval(function(){$.get(document.location.toString()).then(function(t){document.title=t.match(/<title>(.+)<\/title>/)[1]})},3e4),setTimeout(function(){$.get(document.location.toString()).then(function(t){document.title=t.match(/<title>(.+)<\/title>/)[1]})},1e3);</script>