', $favicon); ?>