function banner()
{
    document.write('<div id="banner"></div>\n');
}