function showCode () {
	hideDiv('show_code');
	showDiv('hide_code');
	showDiv('sources');
}

function hideCode () {
	hideDiv('hide_code');
	showDiv('show_code');
	hideDiv('sources');
}

function hideDiv(divId) {
	var div = document.getElementById(divId);
	div.style.display = "none";
}

function showDiv(divId) {
	var div = document.getElementById(divId);
	div.style.display = "block";
}

function showCodeFor (showCodeId, hideCodeId, codeId) {
	hideDiv(showCodeId);
	showDiv(hideCodeId);
	showDiv(codeId);
}

function hideCodeFrom (showCodeId, hideCodeId, codeId) {
	hideDiv(hideCodeId);
	showDiv(showCodeId);
	hideDiv(codeId);
}