function preloadMenuImages()
{
    images = preloadMenuImages.arguments;
    for (i=0; i<images.length; i++)
    {
        image = new Image();
        image.src = images[i];
    }
}
function swapMenuImageOver(image, basedir, theme, file)
{
    image.src = basedir + '/' + theme + '/' + file + '-over.png';
}
function swapMenuImageOut(image, basedir, theme, file)
{
    image.src = basedir + '/' + theme + '/' + file + '.png';
}