// store an interval in a variable

var pause = 5000;

// create and initialize a counter

var n = 0;

// create an array of image file names

var imgs = new Array ( "<br /><strong><a href='html/resprojects.html'>AHRC-funded Collaborative PhD Studentships</a></strong>", "<br /><strong><a href='events_programme.html'>Winter opening times - two days a week</a></strong> November 2", "<br /><strong><a href='events_programme.html'>Open every day for summer</a></strong> March 28 onwards", "<br /><strong><a href='events_programme.html'>Easter holiday family activities</a></strong> March 28 - April 18", "<br /><strong><a href='events_programme.html'>Spring talk: Finding Victorian Porthcurno</a></strong> March 30" );




// a function to display each image for the set interval

function rotate()
{
document.getElementById('quotation').innerHTML = imgs[n];
( n == (imgs.length - 1 )) ? n = 0 : n++;

setTimeout( "rotate()", pause );
}

// specify the onload event-handler
window.onload = rotate;