var logo = new Image();
logo.src="images/logo_menu.gif";
var logo_mo = new Image();
logo_mo.src="images/logo_menu_mo.gif";

function menu_colour(page,name) {
 document.write('<tr><td class="menu">');
 row = '<a href="' + page + '">'+ name +'</a>';
 doc = document.URL.split("/");
 doc_name = doc[(doc.length)-1];
 if (doc_name==page)  row = '<span class="menu_active">'+name+'</span';
 document.write(row);
 document.write('</td></tr>');
}