var prev_img, prev_img_old, main_img, old_img;
function change_img(img_name, mouseover) {
	if(mouseover == 1) {

		// There is a mouseout in the sub menu which causes a problem. A hack for that.

		if(document[img_name].src.indexOf('_a') == -1) {
			prev_img_old = prev_img;
			prev_img = document[img_name].src;
			old_img = main_img;
			main_img = img_name;
		}	
		else {
			prev_img = document[img_name].src;
			prev_img_old = prev_img;
			main_img = img_name;
			old_img = main_img;
		}
		document[img_name].src = prev_img.replace(/.gif/gi, "_hl.gif");
	}
	else {

		// For images with arrow i.e. with sub menu, don't change image on mouseout

		//if(prev_img.indexOf('_a') == -1) {
			document[img_name].src = prev_img;
		//}
	}
}