// $Id: default.js,v 1.1 2006/04/27 12:56:18 krusch Exp $
// Do not place definitions here -- used by error handler only