function rollImage( name, pushed ) {
  if (document.images){
    if( pushed ) src="images/" + name + "-pushed.jpg";
    else src="images/" + name + ".jpg";
    document[name].src = src;
  }
}