// JavaScript Document
function change(element) {
	element.style.color = '#000000';
}

function change_back(element) {
	element.style.color = '#333333';
}