//random-ban.js

var banner_number = 3;
var random_number=0;
var banner_doc="";
var banner_link="";
var banner_desc="";
random_number = getRandomInteger(1, banner_number);  //ini ada di gen-script.js
// Loads the appropriate banner and text color based on random number.
if (random_number==1) {
banner_link="/rossy-c.html";
banner_doc="rossy.jpg";
banner_desc="Retail pOint of Sales SYstem";
}
if (random_number==2) {
banner_link="/indri.html";
banner_doc="indri.jpg";
banner_desc="INtegrated system for DistRIbutors";
}
if (random_number==3) {
banner_link="/irma.html";
banner_doc="irma.jpg";
banner_desc="IntegRated system for MAnufacturers";
}