session_start(); $_SESSION['pin'] = $pin; echo ""; ?>