<?php
for ($i = 0; $i<6; $i++) {
    $a + -$a=&$a;
    $a = 3*$a + 0xff000;
    $a += $a;
}
?>
DONE