# HG changeset patch
# User Zoe Hong <zhong@mpiwg-berlin.mpg.de>
# Date 1429794134 -7200
# Node ID 23b6bd8977778f8d21481dd4c1523447ba0a64c8
# Parent  f1f849d31272ef0bd60674622f937cb460d8c1bc
book_id as string

diff -r f1f849d31272 -r 23b6bd897777 models/extractapp.php
--- a/models/extractapp.php	Thu Apr 23 14:58:27 2015 +0200
+++ b/models/extractapp.php	Thu Apr 23 15:02:14 2015 +0200
@@ -164,14 +164,16 @@
         }
         if (isset($_postdata['bookId'])) {
             $book_id = $_postdata['bookId'];
-            if ($book_id < 10000) {
+            if ($book_id > 10000) {
+                // pass
+            } else if ($book_id >= 1000) {
                 $book_id = '0'.(string)$book_id;
-            } else if ($book_id < 1000) {
+            } else {
                 $book_id = '00'.(string)$book_id;
             }
 
             $this->book_id = (string)$book_id;
-            
+
         }
         if (isset($_postdata['currentFileId'])) {
             $this->current_fileId = $_postdata['currentFileId'];