Question: What is the document id of that document?
SQL: SELECT document_id from all_documents where document_name   =   "Robin CV"