"; if(isset($_SESSION["right"])) echo "right:".$_SESSION["right"]."
";?> + - * /