if (document.images) {
port2a = new Image;
port2b = new Image;
port2c = new Image;
port2a.src = 'images/port2_a.jpg';
port2b.src = 'images/port2_b.jpg';
port2c.src = 'images/port2_c.jpg';
} else {
port2a = '';
port2b = '';
port2c = '';
document.rollimg = '';
}