<script language="javascript">
ho= new Image();
ho.src = 'images/ho.gif';
ho_over = new Image();
ho_over.src = 'iamges/ho_over.gif';
about = new Image();
about_over.src = 'images/about_over.gif';
courses = new Image();
courses_over.src = 'images/courses_over.gif';
news = new Image();
news.src = 'images/news_over.gif';
infra = new Image();
infra_over.src = 'images/infra_over.gif';
rules = new Image();
rules_over.src = 'images/rules_over.gif';
ragging = new Image();
ragging_over.src = 'images/ragging_over.gif';
mand = new Image();
mand_over.src = 'images/mand_over.gif';



    function changeNaviImg(img, ext)
    {
        if (document.images)
        {
            document.images[img].src = eval(img + ext + ".src");
            document.images[img].src = eval(img + ext + ".src");
        }
    }
</script>
  <div id="navigation">
    <div id="navigation_inner">
    <a href="#" <img name="ho"  src="images/Ho.gif" width="68" height="18" alt="home"
    onmouseover='changeNaviImg("ho", "_over");'
    onmouseout = 'changeNaviImg("ho","")'> </a>
    </div>