var randomTip = new Array('&hellip;analyse property portfolios.','&hellip;set maintenance reminders.','&hellip;track lease renegotiations.','&hellip;manage property information.','&hellip;log keys and visits.','&hellip;monitor payments.','&hellip;create and track sales.','&hellip;view data in lists, forms and reports.','&hellip;use as a complete customer and invoicing system.','&hellip;track contacts co-workers and companies.');
function getRandTip(){
	var rand_no = Math.random();
	rand_no = rand_no * randomTip.length;
	rand_no = Math.ceil(rand_no);
	rand_no = rand_no - 1;
	return randomTip[rand_no];
}
function changeTip() {
	document.getElementById('randomTip').innerHTML=getRandTip();
	
}
function cycleTips() {
	setInterval("changeTip()",4000);
}
