window.location.href="' . $url . '"'; } function get_gp($str){ $res = $_POST[$str] ? $_POST[$str] : ($_GET[$str] ? $_GET[$str] : ''); return $res; } ?>