// JavaScript Document

function print_label(str)
{
	var e = document.getElementById('label_holder');
	e.innerHTML = str;
}