alexanderhosford

<script type="text/javascript">

if (/Firefox[\/\s](\d+\.\d+)/.test(navigator.userAgent)){ //test for Firefox/x.x or Firefox x.x (ignoring remaining digits);
 var ffversion=new Number(RegExp.$1) // capture x.x portion and store as a number
 if (ffversion>=5)
  document.write(" FF 5.x or above")
 else if (ffversion>=4)
  document.write(" FF 4.x or above")
 else if (ffversion>=3)
  document.write(" FF 3.x or above")

alexanderhosford

if(labelledItems.get(site).get(label).contains(item)) {
	itemLabels.add(label);
}