function refreshpage()
		{
			var path = location.href;
			location.href = path; 
			//history.go(0);
		}
function copyToClipboard(prmtxt) 
			{
				var txt=document.getElementById(prmtxt);
				txt.select();
				var txtvalue = txt.value
				window.clipboardData.setData('text', txtvalue); 
			} 
function selectTextbox(prmtxt)
{
	var txt=document.getElementById(prmtxt);
	txt.select();
	
}