function coldiv()
{
document.getElementById("hordiv").src="hor_gr.jpg";
document.getElementById("verdiv").src="ver_gr.jpg"
}