if (document.images) {
image0 = new Image;
image1 = new Image;
image2 = new Image;
image3 = new Image;
image0.src = './character_images/batman1.gif';
image1.src = './character_images/batman2.gif';
image2.src = './character_images/batman3.gif';
image3.src = './character_images/batman4.gif';
} else {
image0 = '';
image1 = '';
image2 = '';
image3 = '';
document.rollimg = '';
}