php below:
"; echo "uid: ".$_SESSION["uid"]."
"; echo "appnum: ".$_SESSION["appnum"]."
"; echo "survey: ".$_SESSION["survey"]."
"; echo leastNum(); ?>