ReaLs, вот так вобщето..гг
if (!empty($list))
{
echo '<div class="rmenu">' . $lng['unread'] . ': ' . functions::display_menu($list, ', ') . '</div>';
echo '}
else
{';
?>
<script type="text/javascript">
process();
</script>
<div id = "myDivElement" />
<?php
echo '}';