function indextop()
{
//4
var ranNum= Math.round(Math.random() * 4);
if (ranNum == 0){document.write('
'); } // holidaymate
if (ranNum == 1){document.write('
'); } // directholidays
if (ranNum == 2){document.write('
'); } // easycruise
if (ranNum == 3){document.write(' 
'); } // keycamp
if (ranNum == 4){document.write(' 
'); } // warner
}