function printForm() {
	self.location.href='javascript:window.print()';
}

function setCompanyNameSpan(input) {
	var companyNameSpan = document.getElementById("companyNameSpanId");
	var inputValue = input.value;
	inputValue = inputValue.replace(/&/g,"&");
	inputValue = inputValue.replace(/</g,"&lt;");
	inputValue = inputValue.replace(/>/g,"&gt;");
	inputValue = inputValue.replace(/>/g,"&gt;");
	inputValue = inputValue.replace(/\"/g,"&quot;");
	inputValue = inputValue.replace(/\'/g,"&#x27;");
	inputValue = inputValue.replace(/\//g,"&#x2F;");
	
	companyNameSpan.innerHTML = inputValue;
}