var lastpost = 1;

function highlight(post)
{
	var reply=document.getElementById("reply"+post);
	var lastreply=document.getElementById("reply"+lastpost);
	
	reply.className="post_highlight";
	if(lastreply!=null && lastpost!=post)
		lastreply.className="bbs_table";
		
	lastpost = post;
}

function insert(post) {
	postbox = document.getElementById('reply_form');
	postbox.value += '@'+post+'\n';
	postbox.focus();
}