Displays the custom header text color in 3- or 6-digit hexadecimal form (minus the hash symbol).

function header_textcolor() {
	echo get_header_textcolor();
}