function navSetStyle(theCell, theClass)
{
	dojo.byId(theCell).className=theClass;
}
//--------------------------------------------------------------------------------
function clearStyles() {
	dojo.query(".menuSelected").addClass("menuReSelected");
}
//--------------------------------------------------------------------------------
function sleep(ms){
	var zeit=(new Date()).getTime();
	var stoppZeit=zeit+ms;
	while((new Date()).getTime()<stoppZeit){};
}
//--------------------------------------------------------------------------------