function formSubmit(a)
{
document.getElementById(a).submit();
}