var timer;
var images = new Object();

images.main       = new Image( 485, 326 ); // defined in document
images.regex      = new Image( 485, 326 ); images.regex.src      = "img/interface_regex.png";
images.menus      = new Image( 485, 326 ); images.menus.src      = "img/interface_menus.png";
images.filter     = new Image( 485, 326 ); images.filter.src     = "img/interface_filter.png";
images.foldertree = new Image( 485, 326 ); images.foldertree.src = "img/interface_foldertree.png";
images.filelist   = new Image( 485, 326 ); images.filelist.src   = "img/interface_filelist.png";
images.options    = new Image( 485, 326 ); images.options.src    = "img/interface_options.png";
images.rename     = new Image( 485, 326 ); images.rename.src     = "img/interface_rename.png";


function setimage( name )
{
  clearTimeout( timer );
  
  if( document.getElementById( "imgmap" ).filters )
    document.getElementById( "imgmap" ).filters[0].apply();
  
  document.getElementById( "imgmap" ).src = images[name].src;
  
  if( document.getElementById( "imgmap" ).filters )
    document.getElementById( "imgmap" ).filters[0].play();
}

function setdefault()
{
  if( !document.getElementById( "imgmap" ).filters )
  {
    setimage( "main" );
    return;
  }
  
  clearTimeout( timer );
  timer = setTimeout( "setimage( 'main' )", 50 );
}