Which of the following is the correct syntax to write to the console?

Question $4$ options:

Console.Write;

Console.Write$["$ok$"]$;

Write.Console$("$ok$")$;

Console.Write$("$ok$")$;