to hex [ hexed ; hexed ]