// JavaScript Document

function srcChange(element,bestand){
	if(element.src != bestand){
		element.src = bestand ;
	}
}