// JavaScript Document
function redirect(url) { window.location.href = url; }