/**
 * Kopiert den Inhalt einer <textarea> in ein <div>
 *
 * @param   _form     : id des <form>
 * @param   _textarea : id der <textarea>
 * @param   _div      : id des <div>
 */
function textarea2div( _form, _textarea, _div )
{
  document.getElementById(_div).innerHTML=document.forms[_form].elements[_textarea].value;
}