// Generated automatically at: Thu Aug 04 17:41:06 CEST 2005
menupunkte = new Array() ;