// JavaScript Document

<!--
function doHover(b,i)
{
 f = document[b].src;
 f = f.substr(0,f.length-5);
 f+=i+'.jpg'; 					//auf Dateiendung achten!
 document[b].src = f;
}
//-->