print_string[|"4";"125
24"|].(-Obj.magic(@)mod 3)