[alexstapleton]

PHP Code:

$ch = mix($a,$b,$c);
$ch=((($ch/7) << 2) | (($ch%13)&7));
$prbuf = array();
$prbuf[0]=$ch;
for($i=1; $i<20; $i++) {
      $prbuf[$i]=$prbuf[$i-1]-9;
}
$ch=mix($prbuf, 80, 0xe6359a60);

printf('CH: 6%u', $ch);