var text = new Array();
var number = 0;
text[number++] = "
Storeman
\"Paul and his team have consistently supplied me with great service at competitive prices. I would recommend Farrell Mining to any business looking for good quality drilling equipment.\"";
text[number++] = "Undermanager
\"Far superior products backed up by exceptional customer service\"";
text[number++] = "Deputy
\"Farrell Mining's drilling consumables outperformed the previous companies allowing us to increase productivity\"";
text[number++] = "Production Manager
\"Drill bits last longer and drill faster allowing faster bolt installation which is increasing our productivity\"";
text[number++] = "Undermanager
\"Constantly coming up with better products which is giving my men better results and therefore raising morale and making their workload a lot lighter\"";
text[number++] = "Production Manager
\"The best company I have ever worked with when it comes down to service and fit for purpose products.\"";
text[number++] = "Mine Manager
\"Since using Farrell Mining we have had amazing results with regards to productivity as well as cost reduction\"";
text[number++] = "Production Manager
\"Farrell Mining provides a service over and above that of any supplier I have ever been associated with\"";
var time_delay = 5000;
function random_text(){
var random_number = Math.floor(Math.random() * number);
return text[random_number];
}
function change_text(){
document.getElementById("quotetext").innerHTML = random_text();
}
function start_text(){
change_text();
setInterval("change_text()", time_delay);
}