// JavaScript Document

function changeNaviPic(typ,src) { document.getElementById(typ).src = src; }
function changeOfferPic(adress) { document.getElementById("bigPicture").src = "thumb.php?src="+adress+"&w=594"; }