var text = new Array();
var number = 0;
text[number++] = "<h2>Storeman</h2>\"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++] = "<h2>Undermanager</h2>\"Far superior products backed up by exceptional customer service\"";
text[number++] = "<h2>Deputy</h2>\"Farrell Mining's drilling consumables outperformed the previous companies allowing us to increase productivity\"";
text[number++] = "<h2>Production Manager</h2>\"Drill bits last longer and drill faster allowing faster bolt installation which is increasing our productivity\"";
text[number++] = "<h2>Undermanager</h2>\"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++] = "<h2>Production Manager </h2>\"The best company I have ever worked with when it comes down to service and fit for purpose products.\"";
text[number++] = "<h2>Mine Manager</h2>\"Since using Farrell Mining we have had amazing results with regards to productivity as well as cost reduction\"";
text[number++] = "<h2>Production Manager</h2>\"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);
}