function swap(image_name,image_src) 
{
    if (document.images)
        document[image_name].src=image_src;
}

function swap_banner(image_src) 
{
    if (document.images)
        document.banner.src=image_src;
}