function map()
{
document.write('\n');
document.write(' \n');
}
function prod()
{
document.write('\n');
document.write(' \n');
}
function menu1()
{
document.write('\n');
document.write(' \n');
}
function menu3()
{
document.write('\n');
document.write(' \n');
}
function food()
{
document.write('\n');
document.write(' \n');
}