let
doc_box =
"Doc box"