<script language="javascript1.3" type="text/javascript">
<?php
+/********** i18n **********/
+
+echo "del_i18n = '"._i18n('del')."';\n";
+echo "del_q_i18n = '"._i18n('del_email_q')."';\n";
+
/********** mail_pool **********/
echo $mail_pool->to_js();