// JavaScript Document
function SwitchColors(pic){
	document.lines.src="img/" + pic +"_over.gif";
}


function SwitchColors_Restore(){
	document.lines.src="img/" + firstpic +".gif";
}