function openWarranty(){	document.getElementById('warrantyHolder').style.display="";	document.getElementById('warrantyClicker').style.display="none";}