if (document.images)
{
  headerbutton= new Image(100,25); 
  headerbutton.src="graphics/headerbuttonpressed.gif"; 
}