functions for printing specific html entities