// JavaScript Document


function over(id, col) {
	var ref = document.getElementById(id);
	ref.style.color=col;
	}

function unover(id, col) {
	var ref = document.getElementById(id);
	ref.style.color=col;
	}

function over_button(id, pic) {
	var ref = document.getElementById(id);
	ref.src= pic;
	}

function up_button(id, pic) {
	var ref = document.getElementById(id);
	ref.src= pic;
	}