function doPrintVersion()
{
	var hash = window.location.hash.substring(1);
	if(hash == "print")
	{
		var fileref = document.createElement("link");
		fileref.setAttribute("rel", "stylesheet");
		fileref.setAttribute("type", "text/css");
		fileref.setAttribute("href", "/files/css/print.css");
		document.getElementsByTagName("head")[0].appendChild(fileref);
	}
}