These are just some javascript for the server side