function get_obj(id)
{return document.getElementById(id);}