// this file is dynamically generated
function mmLoadMenus_public() {
}