@CHARSET "ISO-8859-1";

/* Menu stuff */