function f()
{
        usernameEl = document.getElementById('lt_username');
        username = usernameEl.value ? usernameEl.value : 'username';
        domainEl = document.getElementById('lt_domain');
        printEl = document.getElementById('print_mail');
        printEl.innerHTML = username + '@' + domainEl.value;
}
function post_form(form) {
	selected = form.emails.value;
	form.selected_email.value = parseInt(selected) + 1;
	form.submit();
}