// JavaScript Document
function js_quote(name)
{
value=name.replace("'","\'")
return value
}