memory_initialization_radix=16; memory_initialization_vector=50000000 28800401 02800822;