$value) { print_unescaped("$name='$value' "); }; print_unescaped('/>'); ?>
Enterprise Edition
); ?>)