$value) { print_unescaped("$name='$value' "); }; print_unescaped('/>'); ?>
t('This application requires JavaScript for correct operation. Please
enable JavaScript
and reload the page.')); ?>