// JavaScript Document
function SelectDeselectItem(thismenuitem){
	if(document.getElementById(thismenuitem).className=='selected'){document.getElementById(thismenuitem).className='normal'}
	else {document.getElementById(thismenuitem).className='selected'}
}
function selectItem(thismenuitem){document.getElementById(thismenuitem).className='selected'}

function menuIdsForPage(){
	d=document.getElementsByTagName("div")[0].attributes[0].nodeValue; // page identifier
	alert(d);
}