// JavaScript Document
function resizeDiv(){
	if(height)
	{
		if($("productDetails").offsetHeight < height)
		{
			$("productDetails").style.height = height +"px";
		}
	}
}

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;
}