$(document).ready( function(){
	document.title = $("pre").text().split("\n")[0];
});