NavBullet_off = new Image(14,10); NavBullet_off.src = "../res.nsf/images/core/$File/NavBullet_off.gif"; 
NavBullet_on = new Image(14,10); NavBullet_on.src = "../res.nsf/images/core/$File/NavBullet_on.gif";