BTW how do you use these UDFs? do i just copy the udf to a file?