--- tasks.html~	2013-04-08 17:58:37.931765741 +0400
+++ tasks.html	2013-04-08 17:58:24.443078304 +0400
@@ -18,7 +18,7 @@
     <script type="text/javascript">
       <!--
       document.write('<form action="javascript:" method="get" id="tasks" onsubmit="showTask(this)">')
-      document.write('Show task # <input type="text" name="task" id="task_num"></form>')
+      document.write('Show task # <input type="text" name="task" id="task_num"><input type="submit"></form>')
       -->
     </script>
     <h2>Builder tasks</h2>