<!--
if (document.images) {
	/* global images */
	home=new Image(120,20);
    home.src="/images/button/home1.jpg";
    homeon=new Image(120,20);
    homeon.src="/images/button/home2.jpg";

    bachelor=new Image(120,20);
    bachelor.src="/images/button/bachelor1.jpg";
    bacheloron=new Image(120,20);
    bacheloron.src="/images/button/bachelor2.jpg";

	master=new Image(120,20);
    master.src="/images/button/master1.jpg";
    masteron=new Image(120,20);
    masteron.src="/images/button/master2.jpg";

	masterPe=new Image(120,20);
    masterPe.src="/images/button/masterPe1.jpg";
    masterPeon=new Image(120,20);
    masterPeon.src="/images/button/masterPe2.jpg";

	webboard=new Image(120,20);
    webboard.src="/images/button/webboard1.jpg";
    webboardon=new Image(120,20);
    webboardon.src="/images/button/webboard2.jpg";

	staff=new Image(120,20);
    staff.src="/images/button/staff1.jpg";
    staffon=new Image(120,20);
    staffon.src="/images/button/staff2.jpg";

	contact=new Image(120,20);
    contact.src="/images/button/contact1.jpg";
    contacton=new Image(120,20);
    contacton.src="/images/button/contact2.jpg";
}

// now define the actual function which will change the ../images
function swap(imageName, imageFile) {
	if (!document.images)
		return;

	eval('document.images[imageName].src='+imageFile+'.src');
}
// -->