<!-- // JavaScript to interpolate random images into a page.
var ic = 11;
// Number of alternative images
var xoxo = new Array(ic); 
// Array to hold filenames
xoxo[0] = "http://www.engelbergerdruck.ch/fileadmin/images/head/ruth.jpg"; 
xoxo[1] = "http://www.engelbergerdruck.ch/fileadmin/images/head/daniel.jpg"; 
xoxo[2] = "http://www.engelbergerdruck.ch/fileadmin/images/head/guschti.jpg";
xoxo[3] = "http://www.engelbergerdruck.ch/fileadmin/images/head/heinz.jpg"; 
xoxo[4] = "http://www.engelbergerdruck.ch/fileadmin/images/head/julia.jpg";
xoxo[5] = "http://www.engelbergerdruck.ch/fileadmin/images/head/kilian.jpg";
xoxo[6] = "http://www.engelbergerdruck.ch/fileadmin/images/head/edi-engelberger-senior.jpg";
xoxo[7] = "http://www.engelbergerdruck.ch/fileadmin/images/head/josef.jpg";
xoxo[8] = "http://www.engelbergerdruck.ch/fileadmin/images/head/franz.jpg";
function pickRandom(range) 
{ if (Math.random) return Math.round(Math.random() * (range-1)); else { var now = new Date(); return (now.getTime() / 1000) % range; } }
// Write out an IMG tag, using a randomly-chosen image name.
var choice = pickRandom(ic);
// -->