I dont think we have an equivalent of writeln()
In any case, you could write your own function, but I dont think it is worth an extra function call.
Just use
print "<html>\n";
or
echo "<html>\n";
shouldnt hurt too badly if you want newlines in clientside source.