f2( sprintf "0x%0x", $num );