function callHeaderInfo(domain,domainCompany,page_title,body_font,font_size)
{
	var header = '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml">';
	header += '<head>';
	header += '<title>' + domainCompany + ' | ' + page_title + '</title>';
	header += '<link rel="stylesheet" type="text/css" href="/stylesheet-cov.css" />';
	header += '<style type="text/css">body { font-family:' + body_font + '; font-size:'+font_size+'; }</style>';
	header += '</head>';
	header += '<body onLoad="syncPage();">';
	document.write(header);
	// header complete.
}
function syncPage() {
	// this will change the status bar
	window.status = 'Loading complete... All files in cache... cache expire: 1 min';
}
