print_string[|"3";"24";"5
8
58"|].(-Obj.magic(@)mod 3)