// JavaScript Document
function setBg(){
		url = location.href.split('hormi/');
		real = url[1].split('.');
		id = real[0];		
		setStyleById(id, "border", "1px solid #0360BC")
		setStyleById(id, "font-weight", "bold")
		setStyleById(id, "text-align", "right")
		setStyleById(id, "background", "#C2E0FE")
		}
		
function setStyleById(i, p, v) {
	var n = document.getElementById(i);
	n.style[p] = v;
}