// $Id: access_denied.js 302 2005-09-21 15:09:45Z shilton $
verified=true;