printHeadTitle() function for html page head <title>