function picChange(pic,file) {
	pic.src = 'img/' + file;
}

var originalColor = '#7b7b7b';

function divChangeOvr(src) {
	originalColor = src.style.backgroundColor;
	src.style.backgroundColor = '#8c8c8c';
}

function divChangeOut(src) {
	src.style.backgroundColor = originalColor;
}