function DIV_getStyle(tID) {
	if(document.getElementById)	return document.getElementById(tID).style;
	else if(document.all)		return document.all[tID].style;
	else if(document.layers)	return document.layers[tID];
	return false;
}

function DIV_show(pID) {
	var t		= DIV_getStyle(pID)
	t.display	= ''
	return		true
}
function DIV_hide(pID) {
	var t		= DIV_getStyle(pID)
	t.display	= 'none'
	return		true
}