//
// used in php files to remove backslashes inserted by php addslashes() function
//
//----------------------------------------------------------------------------------------
function stripSlashes( theString )
//----------------------------------------------------------------------------------------
{
	return theString.replace( /\\'/g, "'" ).replace( /\\"/g, '"' );
}