function refreshHeader()
{
	var f = document.getElementById("header");
 	f.src = f.src;
}