function set_mouse_pointer(obj)
{
    obj.style.cursor='pointer';
}