function mail() {
	document.getElementById('input_form').value = 'js';
}