select count(BOOK_NUM) as `Available Books`
from BOOK
where PAT_ID is NULL;