img1 = document.getElementById("PacMan"); img1.src = "PacMan2.png"