var images = new Array();

images[images.length] = "menu-item.gif";
images[images.length] = "line-dotted.gif";
images[images.length] = "hint-underline.gif";
images[images.length] = "hint.png";
images[images.length] = "hint-close.gif";
images[images.length] = "border12x8.png";
images[images.length] = "marker-ul.gif";
images[images.length] = "marker-ul-ul.gif";
images[images.length] = "marker-ul-ul-ul.gif";