//select LAST_INSERT_ID() as ident FROM pastebin";

function submitform()
{
	var fid = document.inputform1;
	var formtosubmit = document.hiddenform1;
	
	if(fid.txttitle.value == "")
		fid.txttitle.value = "Anonymous";
	
	formtosubmit.txtpastehidden.value = escape(fid.txtpaste.value);
	formtosubmit.txtdescriptionhidden.value = escape(fid.txtdescription.value);
	formtosubmit.txttitlehidden.value = escape(fid.txttitle.value);
	formtosubmit.typelanguage.value = escape(fid.language.value);
	formtosubmit.action="pastebin.php";
	formtosubmit.method="post";
	formtosubmit.submit();
}

function outColorChange(id, s)
{
	var sel = document.getElementById(id);
	if(s == 1)
		sel.className = "selected";
	else
		sel.className = "history";
}

function overColorChange(id, s)
{
	var sel = document.getElementById(id);
	sel.className = "over";
}

function select(id)
{
	document.location = "index" + id + ".html";
}