- dechex: documentation ( source)
- sprintf: documentation ( source)
<?php
$seq = 2839067015;
$iso = 13;
echo sprintf("%X", ($iso << 48) + $seq);
echo "\n";
echo ($iso << 48) + $seq;
echo "\n";
echo (($iso << 48) | $seq);
echo "\n";
echo dechex(($iso << 48) | $seq);
echo "\n";