function empty(x)
{
document.getElementById(x).value=""
}