import web

def url (path):
    return "\"%s\"" % web.url(path)