//header
document.writeln(
	"<div class='header'>" +
		"<div class='title'><a href='/'>paulostran</a></div>" + 
		"<div class='miniNav'><a href='/about.html'>{ About }</a> + <a href='/contact.html'>{ Contact }</a> + <a href='/links.html'>{ Links }</a></div>" +
	"</div>"
	);