onerror = stopError;
function stopError()
{ return true; }

function produkt_auswahl ( url ) {

	if ( url != "" ) {
		with ( document.URL )
		{
			datei_pfad = replace(/\/forum\//,'/de/') ;
		}
		// alert (datei_pfad+url);
		location.href = 'http://www.jung-pumpen.de/de/'+url; // ( "parent.location='"+url+"'" );
	}
}