// JavaScript Document
function setlinks()
{
	var lin11=document.getElementById("links12").value;
	//window.location.href=lin11;
	window.open('"'+lin11+'"');
}