Georgeanne has been employed by SEC Corp. for the last 2 years. Georgeanne participates in SEC's 401(k) plan. During her employment, Georgeanne has contributed $6,000 to her 401(k) account. SEC has contributed $3,000 to Georgeanne's 401(k) account (it matched 50 cents of every dollar contributed). SEC uses a three-year cliff vesting schedule. If Georgeanne were to quit her job with SEC, what would be her vested benefit in her 401(k) account? (assume the account balance is $9,000)