function setSub(num) {
	hideSub(true)
	if (num>=0) 
		document.getElementById('sub_' + num).style.display = 'block'	
}

function hideSub(nowait) {
	for (var i=0; i<=8; i++)
		document.getElementById('sub_' + i).style.display = 'none'
	document.getElementById('sub_links').style.display = 'none'
}

function resetSub() {
	hideSub(true)
	document.getElementById('sub_links').style.display = 'block'
}

function rewrite(id) {
	var targ = document.getElementById(id)
	targ.innerHTML = targ.innerHTML
}