better

www/js/autodoc.js

@@ -241,7 +241,8 @@ function page_load_home() {
   document_load();
 }
 
-function page_load_document(docid) {
+function page_load_document(args) {
+  var [docid] = args;
   console.log(docid);
   if ( !docid ) {
     return false;