// JavaScript Document
function $(i){return (document.getElementById)?document.getElementById(i):null}
function setMenu() {
		$(pageId).style.fontStyle='italic'
//		$(pageId).style.color = color;
}