var originalbild=""
var timerid

function showgross(bildid)  {
   if (originalbild=="")
      originalbild=document.getElementById("grossbild").src
   document.getElementById("grossbild").src="470_DE?picid="+bildid
   clearTimeout(timerid)
}

function mouseout()  {
    timerid=setTimeout("recoverbild()",250)
}

function recoverbild()  {
   document.getElementById("grossbild").src=originalbild
}