function flip_var (){
		if(document.getElementById("hasjs").value != "1"){
			document.getElementById("hasjs").value ="1";
		}
}