function button( buttonname , source )
{
    if (document.images) {
      document[ buttonname ].src = source;
    }
}