document.writeln('<SCRIPT LANGUAGE=\"JavaScript\">');
document.writeln('var DotcommediaControl = navigator.appName.indexOf(\"Microsoft\") != -1;');
document.writeln('function stuff(s)');
document.writeln('{');
document.writeln('document.msgForm.message.value = s;');
document.writeln('}');
document.writeln('var dcmC = DotcommediaControl ? parent.navigatie.map : parent.navigatie.document.embeds[0];');
document.writeln('var dcmC2 = DotcommediaControl ? parent.navigatie_rechts.map2 : parent.navigatie_rechts.document.embeds[0];');
document.writeln('dcmC.TGotoFrame("_level0/", NavigatieLinks);dcmC2.TGotoFrame("_level0/", NavigatieRechts)');
document.writeln('</SCRIPT>');

//SCRIPT: So, You Want A Dual Image Flip, Huh?
document.writeln('<SCRIPT LANGUAGE=\"JavaScript\">');
Image1= new Image(75,50)
Image1.src = "/4retail/afbeeldingen/home1.jpg"
Image2 = new Image(575,550)
Image2.src = "/4retail/afbeeldingen/home2.jpg"

document.writeln('function SwapOut() {');
document.writeln('document.imageflip.src = Image2.src; return true;');
document.writeln('}');

document.writeln('function SwapBack() {');
document.writeln('document.imageflip.src = Image1.src; return true;');
document.writeln('}');
document.writeln('</SCRIPT>');