Is short for (17/48)

Is short for