init('."'".$_SESSION['navigation']."');"; echo ''; } //else{die();} ?>