function $(id) {
	return document.getElementById(id);
}

function $style_block(id) {
	$(id).style.display = 'block';
}

function $style_none(id) {
	$(id).style.display = 'none';
}