document.location.href = "'.$url.'";'); }?>