<?php
    echo "0x" . dechex($data = 0x12345678) . "<br>";
    echo "0x" . dechex(($data >> 28) | (($data & 0x0F000000) >> 20) | (($data & 0x00F00000) >> 12) | (($data & 0x0000F000) << 4) | (($data & 0x000F0000) >> 4) | (($data & 0x00000F00) << 12) | (($data & 0x000000F0) << 20) | ($data << 28));