--- /dev/null
+attachEvt('result', 'allRecordsReceived', insertTip);
+
+/*
+var user_tips = [
+ 'Click on a folder icon in the sidebar to access related quick searches',
+ "If you don't find what you want try expanding your search using the range selector at the right of the search bar"
+];
+*/
+
+function insertTip () {
+ var tip_div = document.getElementById('tips');
+ if (tip_div) {
+ var tips = tip_div.getElementsByTagName('div')[0].getElementsByTagName('span');
+ var index = Math.floor(Math.random() * tips.length);
+ try { tip_div.appendChild( tips[index] ); } catch(E) {}
+ removeCSSClass(tip_div, 'hide_me');
+ }
+}
+