// $Id: default.js 17 2008-08-18 18:04:58Z hweber $