Javascript code for Conkeror