function FunJavaScriptRedirection($url)  // Function developed for redirect in php using javascript
{?>
window.location = Ò<?=$url?>Ó
<?}