function dd_init(){
	var ph = document.getElementById("page_header");
	var li = ph.getElementsByTagName("li");
	for( i=0;i<li.length;i++)
	{
		li[i].onmouseover=function(){dd_over(this)};
		li[i].onmouseout=function(){dd_out(this)};
	}
}

function dd_over(x){
	x.className = "over";
}

function dd_out(x){
	x.className = "x";
}