function header1()
{
document.write('\n');
}
function header1b()
{
document.write('\n');
}
function header1c()
{
document.write('\n');
}
function header2()
{
document.write('\n');
}
function header3()
{
document.write('\n');
}
function banner1()
{
document.write('\n');
}