// JavaScript Document<script type="text/javascript">
function do_redirect( url )
{
    window.location = url;
}