location.href = '$url'; "; } function alert($msg) { print " "; } ?>