So I went to Home Depot and bought three seals labeled for Mansfield #120 (each costs me $1.95 at the time). I followed the instructions, replaced the old seals. Now even my 3 years old daughter can easily flush the toilet. I actually scanned the front and back of the item sold at Home Depot.
And if your toilet is really hard to flush, may be it's due to the same reason. Why not give it a try?
fig. 1 front image
fig. 2 back image