function navchange(nr,to)
{
 	document.getElementById('nav'+nr).src = 'images/'+to;
}

function whatis(p) { window.open("whatis.php?this="+p,"swwhatis","width=350,height=350,scrollbars=yes"); }