function f(u){
	if(u)document.location.href = u;
}