1 attachEvt('common', 'run', insertTip);
4 'Click on a folder icon in the sidebar to access related quick searches',
5 "If you don't find what you want try expanding your search using the range selector at the right of the search bar"
8 function insertTip () {
9 var tip_div = document.getElementById('tips');
11 tip_div.appendChild( text( user_tips[ Math.floor(Math.random() * user_tips.length) ] ) );