try{
	window.top.header.setRefresh();
} catch(x){}