Index: trunk/tools/dump2hex.php
===================================================================
--- trunk/tools/dump2hex.php	(revision 17)
+++ trunk/tools/dump2hex.php	(revision 19)
@@ -6,5 +6,5 @@
 
   // Discard first lines
-  for($i=0; $i<6; $i++) fgets($fp);
+  for($i=0; $i<7; $i++) fgets($fp);
 
   // Print only the opcodes to stdout
@@ -17,10 +17,12 @@
     }*/
 
-    $opcode = substr($line, 8, 4);
+    $opcode = substr($line, 6, 2);
+    $opcode2 = substr($line, 9, 2);
     $caratteri = strlen($opcode);
     if($caratteri != 0){
-        echo $opcode."\n";
-        $opcode = substr($line, 12, 4);
-        echo $opcode."\n";
+        echo $opcode.$opcode2."\n";
+        $opcode = substr($line, 12, 2);
+        $opcode2 = substr($line, 15, 2);
+        echo $opcode.$opcode2."\n";
     }
     else{