/**
 * Borrowed the source from:
 * Find the element in the current HTML document with the given id or ids
 * @see http://getahead.ltd.uk/dwr/browser/util/$
 */
var $;
if (!$ && document.getElementById) {
  $ = function() {
    var elements = new Array();
    for (var i = 0; i < arguments.length; i++) {
      var element = arguments[i];
      if (typeof element == 'string') {
        element = document.getElementById(element);
      }
      if (arguments.length == 1) {
        return element;
      }
      elements.push(element);
    }
    return elements;
  }
}
else if (!$ && document.all) {
  $ = function() {
    var elements = new Array();
    for (var i = 0; i < arguments.length; i++) {
      var element = arguments[i];
      if (typeof element == 'string') {
        element = document.all[element];
      }
      if (arguments.length == 1) {
        return element;
      }
      elements.push(element);
    }
    return elements;
  }
}

function formatPrice(prijs){
	var formattedPrijs=prijs+'';
	var numDec=2;
	for(var a=0;a<formattedPrijs.length;a++){
		if(formattedPrijs.charAt(a)=='.'){ 
			numDec=formattedPrijs.length-a-1;
			break;
		}
	}
	if(numDec==1) formattedPrijs += '0';
	if(numDec==2) formattedPrijs += '.00';
	return formattedPrijs;
	
}

function isInt(){
	return ((event.keyCode > 47 && event.keyCode < 58) || (event.keyCode > 95 && event.keyCode < 106) || event.keyCode==8 || event.keyCode==9 || event.keyCode==46 || event.keyCode==37 || event.keyCode==39);
}