session_start(); $id=$_SESSION['id']; $galaxy=$_SESSION['galaxy']; $ss=$_SESSION['ss']; $pos=$_SESSION['pos']; echo"