'.$key.''; echo$_SERVER[$key]; echo'
'; } print_r(getallheaders());