marks = new Array ("mark1", "mark2", "mark3", "mark4");
tops = new Array ("book1", "book2", "book3", "book4");

function mark(num) 
{

for ( i = 0; i <= 2; i++ ) 
{
	document.getElementById(tops[i]).src = "../../themes/lpi-soft/img/vkl.jpg";
	document.getElementById(marks[i]).style.color = "#D5D5D5";
}

document.getElementById(tops[num]).src = "../../themes/lpi-soft/img/actvkl.jpg";
document.getElementById(marks[num]).style.color = "#3A3A3A";
document.getElementById("javabodycont").innerHTML = document.getElementById("texts["+num+"]").innerHTML; 
} 