Of course, you can also buy student tickets with your student ID card. Card swimming times are full, you need to buy your own student ticket to enter.
Documenting is not very reliable. The staff has a computer where they can find out the information of students. In fact, one way is to borrow a student ID card from a student to buy a student ticket. Of course, if you know a student, ask him to give you his student ID card and he will reissue it himself. So when you buy a ticket, you can get it later and it will be cheaper.