document.write("Font Size ");
write_form();