K[ 0.. 3] := { 0xd76aa478, 0xe8c7b756, 0x242070db, 0xc1bdceee }
K[ 4.. 7] := { 0xf57c0faf, 0x4787c62a, 0xa8304613, 0xfd469501 }
K[ 8..11] := { 0x698098d8, 0x8b44f7af, 0xffff5bb1, 0x895cd7be }
K[12..15] := { 0x6b901122, 0xfd987193, 0xa679438e, 0x49b40821 }
K[16..19] := { 0xf61e2562, 0xc040b340, 0x265e5a51, 0xe9b6c7aa }

K[0]:=  16#d76aa478; K[1] := 16#e8c7b756; K[2]:= 16#242070db; K[3] := 16#c1bdceee;
K[4]:=  16#f57c0faf; K[5] := 16#4787c62a; K[6]:= 16#a8304613; K[7] := 16#fd469501;
K[8]:=  16#698098d8; K[9] := 16#8b44f7af; K[10]:= 16#ffff5bb1; K[11] := 16#895cd7be;
K[12]:= 16#6b901122; K[13] := 16#fd987193; K[14]:= 16#679438e; K[15] := 16#49b40821;
K[16]:= 16#f61e2562; K[17] := 16#040b340; K[18]:= 16#265e5a51; K[19] := 16#e9b6c7aa;