/*functions***********************************/
// format/ layout/ load/ unload functions
function enter() {
}

function exit() {
}

//menu functions
function showMenu(theMenu) {
}

function hideMenu(theMenu) {
}

function onChange(theID) {
	if (getElementByID) theID.disabled = !theID.disabled;
}