function rewriteDoctitle()
{
	document.title = document.title.slice(0, 47) + " - Flash Player Installation";
}