
<!-- 

if (document.images) {


	// prof2
	var sh1on = new Image();
	sh1on.src = "images/soft_on.gif";
	var sh1off = new Image();
	sh1off.src = "images/soft.gif";
	// prof3
	var sh2on = new Image();
	sh2on.src = "images/hard_on.gif";
	var sh2off = new Image();
	sh2off.src = "images/hard.gif";


}


// -->