change JavaScript highlight method !