get_doc(doc_name) {
  return '/static/pdf_docs/' + doc_name;
}