<script>
	$: document.title = 'foo';
</script>
