function out(obj){
	var c = obj.getAttribute("init");
        if(c != "selected") {
	   obj.className = "nav";
        }
}
function over(obj){
 	var c = obj.getAttribute("class");
        var i = obj.getAttribute("init");
        if(i != "selected") {
	   obj.init = c;
	   obj.className = "selected";
        }

}
