$padded = substr('0000'.$raw, -4, 0);