The number of PCs which are currently available in the Library (not logged-in) is displayed to the right.