Add pdf_id method to FileSystem class
Modify server script to use new classes