var arrLenght = 0;
					var arrProp = new Array();
					var arrVal = new Array();
					
					function parseStyle(st)
                    {
						var i = 0;
						var st1 = new String();
						st1 = st;
						var prop = new String();
						var val = new String();
						var selector = new String(); 
						
						while (st1.indexOf(';') > 0)
						{
							selector =  st1.substring(0, st1.indexOf(';', 0));
							st1 = st1.substring(st1.indexOf(';') + 1, st1.length);
							prop = selector.substring(0, selector.indexOf(':', 0));
							val = selector.substring(selector.indexOf(':') + 1, selector.length);
							arrProp[i] = prop;
							arrVal[i] = val; 
							arrLenght = i;
							i++;
						}
                    }
                    function item_Over(st, obj)
                    {
						parseStyle(st);
						for(var i = 0; i <= arrLenght; i++)
						{
							obj.style[arrProp[i]] = arrVal[i];
						}
                    }
                    function item_Out(st, obj)
                    {
						parseStyle(st);	
						for(var i = 0; i <= arrLenght; i++)
						{
							obj.style[arrProp[i]] = arrVal[i];
						}
                    }
                    function item_Click(st, obj)
                    {
						parseStyle(st);	
						for(var i = 0; i <= arrLenght; i++)
						{
							obj.style[arrProp[i]] = arrVal[i];
						}
                    }
                    
                    function getHtmlElement(element_name, silent)
                    {
	                    if(element_name == null)
	                    {
		                    alert('Cannot get null element');
		                    return null;
	                    }
	                    var retVal = document.getElementsByName(element_name);
                    	
	                    if(retVal == null || retVal.length == 0)
	                    {
		                    retVal = document.getElementById(element_name);
		                    if(retVal == null)
		                    {
			                    var nm = element_name.replace(':', '_');
			                    while(nm.indexOf(':') != -1)
				                    nm = nm.replace(':', '_');
			                    retVal = document.getElementById(nm);
		                    }
	                    }
	                    else
		                    retVal = retVal[0];
                    	
	                    if(retVal == null)
	                    {
		                    if(!silent)
			                    alert('JavaScript error: cannot find an element: \'' + element_name + '\'');
	                    }
	                    else 
		                    return retVal;
	                    return null;
                    }