function redirTimeout(url, timeout) {
  setTimeout("location.href='"+url+"';", timeout);
}