function writemenu()
{
document.write('\n');
document.write(' \n');
}
function writemenuedit()
{
document.write('\n');
document.write(' \n');
}
function pres()
{
document.write('\n');
document.write('\n');
document.write(' \n');
document.write(' \n');
}
function topmenu()
{
document.write('\n');
document.write('\n');
document.write(' \n');
document.write(' \n');
}
function topmenuedit()
{
document.write('\n');
document.write('\n');
document.write(' \n');
document.write(' \n');
}