function redirect (url) { setTimeout("go_now('"+url+"')", 5001); }
function go_now (url)   { window.location.href = url; }