public void flushPage(PageId pageid) throws 
    HashOperationException, 
    PageUnpinnedException,  
    PagePinnedException, 
    PageNotFoundException,
    BufMgrException,
    IOException {
    
    // send to private method with the common code for all flush methods
    privFlushPages(pageid, 0);  
  } // end flushPage()