<!--
img_aus=new Image();
img_aus.src = "img/aus.gif";
img_an=new Image();
img_an.src = "img/an.gif";
img_logo=new Image();
img_logo.src = "img/logo.gif";
img_logo_x=new Image();
img_logo_x.src = "img/logo_x.gif";
function img_hover(img_ref,img_obj)
{
window.document.images[img_ref].src = img_obj.src;
}
// -->