_$_DOCTYPE_$_ _$_HEADDECLARATIONS_$_ _$_AUTO_REDIRECT_$_ /* */