some js code of greasemokey