function ChangeCssClass(ElementID, NewClass)
		{
		    if (document.getElementById(ElementID).className != 'selected1')
		    {
			document.getElementById(ElementID).className = NewClass;
			}
		}
		
		
function DoubleClickPrint() 
    {
        window.print();  
    }