/* Write an arbitrary html. */