function DM_topMenu_a()
{
document.write(' \n');
}
function DM_topMenu_b()
{
document.write(' \n');
}
function DM_sideMenu()
{
document.write(' \n');
}
function GP_topMenu()
{
document.write(' \n');
}
function GP_menu()
{
document.write(' \n');
}
function GP_sideMenu()
{
document.write(' \n');
}