function opReplyTo(sender, id, reply) {
    if (!document.getElementById)                                      // DOM 
        return true;
    document.getElementById('dfid').value = id;
    document.getElementById('dfreply').value = reply;
    document.location = '#reply';
    if(document.getElementById('tarea'))
	document.getElementById('tarea').focus();
    else if(document.getElementById('2iarea'))
	document.getElementById('2iarea').focus();
    return false;
}


/* End of file. */