// $Id: textarea.js,v 1.9 2006/04/14 13:48:56 killes Exp $