// JavaScript Document

var setTabName;

function setPageMarker(dd) {
	tabName = "tabs"
	setTabName = tabName + (dd)
	document.getElementById('minimenu').className=setTabName
}
function setRollMarker(e) {
	setRollName = "tabs" + (e)
	document.getElementById('minimenu').className=setRollName
}
function restorePageMarker() {
	document.getElementById('minimenu').className=setTabName
}