/* Menu scripts */

color1 = "";
color2 = "f3f3f3";
function rollout(url) { url.style.backgroundColor=color1; url.style.cursor='pointer'; }
function rollover(url) { url.style.backgroundColor=color2; }
function click(url) { window.location.href = url; }