| 64 |  |  | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 65 |  | <form method="GET" action="browser.php"> | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 66 |  | <select size="1" name="machine_name"> | 
 
 
 
 
 
 
 
 
 
 
 | 67 | < | <option selected value="">[select machine]</option> | 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 | 67 | > | <? if ($machine_name) { ?> | 
 
 
 
 
 | 68 | > | <option selected value="<? echo $machine_name ?>"><? echo $machine_name ?></option> | 
 
 
 
 
 | 69 | > | <option value="">----------------</option> | 
 
 
 
 
 | 70 | > | <? } else { ?> | 
 
 
 
 
 | 71 | > | <option selected value="">[select machine]</option> | 
 
 
 
 
 | 72 | > | <? } ?> | 
 
 
 
 
 
 
 
 
 
 
 | 73 |  | <? include("$day/machine_name.inc"); ?> | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 74 |  | </select> | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 75 |  |  | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 76 |  | <select size="1" name="report"> | 
 
 
 
 
 
 
 
 
 
 
 | 77 | < | <option selected value="">[select report]</option> | 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 | 77 | > | <? if ($report) { ?> | 
 
 
 
 
 | 78 | > | <option selected value="<? echo $report ?>"><? echo $report ?></option> | 
 
 
 
 
 | 79 | > | <option value="">----------------</option> | 
 
 
 
 
 | 80 | > | <? } else { ?> | 
 
 
 
 
 | 81 | > | <option selected value="">[select report]</option> | 
 
 
 
 
 | 82 | > | <? } ?> | 
 
 
 
 
 
 
 
 
 
 
 | 83 |  | <? include("$day/report.inc"); ?> | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 84 |  | </select> | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 85 |  |  | 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 | 141 |  |  | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 142 |  | ?> | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 143 |  |  | 
 
 
 
 
 
 
 
 
 
 
 | 144 | < | <? include("bottom.inc"); ?> | 
 
 
 
 
 
 
 
 
 | 144 | > | <? include("bottom.inc"); ?> |